( en | de | ru )

 

Disambiguierung von "Levi, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Observational Equivalences for Logic Programs.

, , und . JICSLP, Seite 131-145. MIT Press, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Paul Levi

Thomas Levi

Idan Levi

Paul Levi

Susanne Levi

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics., und . MFCS, Volume 32 von Lecture Notes in Computer Science, Seite 294-301. Springer, (1975)Contributions to the Semantics of Open Logic Programs., , , und . FGCS, Seite 570-580. IOS Press, (1992)On the Verification of Finite Failure., und . PPDP, Volume 1702 von Lecture Notes in Computer Science, Seite 311-327. Springer, (1999)Finite Failure is AND-Compositional., und . GULP-PRODE (1), Seite 464-478. (1994)Contributions to a Theory of Existential Termination for Definite Logic Programs., und . GULP-PRODE, Seite 631-642. (1995)Modelling Prolog Control., , , und . J. Log. Comput., 3 (6): 579-603 (1993)An OR-Compositional Semantics for Logic Programs., , , und . ICLP Workshop on Construction of Logic Programs, Seite 215-240. Wiley, (1991)Observational Equivalences for Logic Programs., , und . JICSLP, Seite 131-145. MIT Press, (1992)Toward an Inductionless Technique for Proving Properties of Logic Programs., , und . ICLP, Seite 175-181. ADDP-GIA, (1982)On the Semantics of Logic Programs.. ICLP, Seite 945. MIT Press, (1991)