Treffer 1 - 10 von 10 für Suche 'Murakami, Masaki', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A concurrent operational semantics of Flat GHC programs

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An axiomatic verification method for synchronizations of Guarded Horn Clauses programs

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A declarative semantics of parallel logic programs based on failure deadlock set

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Proving partial correctness of guarded horn clauses programs

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal semantics of a relational knowledge base

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Unfolding rules for GHC programs

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formal semantics of Flat GHC

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A declarative semantics of parallel logic programs with perpetual processes

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A failure set semantics of Guarded Horn Clauses programs

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: