Suchergebnisse - Murakami, Masaki

  • Treffer 1 – 10 von 10
Treffer filtern
  1. 1
    Buchumschlag

    A concurrent operational semantics of Flat GHC programs
    von Murakami, Masaki

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    An axiomatic verification method for synchronizations of Guarded Horn Clauses programs
    von Murakami, Masaki

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A declarative semantics of parallel logic programs based on failure deadlock set
    von Murakami, Masaki

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Formal semantics of a relational knowledge base
    von Murakami, Masaki, Yokota, Haruo, Itoh, Hidenori

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes
    von Murakami, Masaki

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Unfolding rules for GHC programs
    von Furukawa, Koichi, Okumura, Akira, Murakami, Masaki

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Formal semantics of Flat GHC
    von Ueda, Kazunori, Murakami, Masaki

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A declarative semantics of parallel logic programs with perpetual processes
    von Murakami, Masaki

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    A failure set semantics of Guarded Horn Clauses programs
    von Murakami, Masaki

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Proving partial correctness of guarded horn clauses programs
    von Murakami, Masaki

    Veröffentlicht 1987
    Buch


    Gespeichert in:

Suchwerkzeuge: