( en | de | ru )

 

Disambiguierung von "Levi, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formalization of Metaprogramming for real.

, und . ICLP, Seite 354-373. MIT Press, (1993)

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

Rudolf Levi

 

Weitere Publikationen von Autoren mit dem selben Namen

Contributions to a Theory of Existential Termination for Definite Logic Programs., und . GULP-PRODE, Seite 631-642. (1995)Finite Failure is AND-Compositional., und . GULP-PRODE (1), Seite 464-478. (1994)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)A Formalization of Metaprogramming for real., und . ICLP, Seite 354-373. MIT Press, (1993)An OR-Compositional Semantics for Logic Programs., , , und . ICLP Workshop on Construction of Logic Programs, Seite 215-240. Wiley, (1991)What is Logic Programming good for in Software Engineering?, und . Advances in Software Engineering and Knowledge Engineering, Volume 2 von Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)Modelling Prolog Control., , , und . J. Log. Comput., 3 (6): 579-603 (1993)Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics., und . MFCS, Volume 32 von Lecture Notes in Computer Science, Seite 294-301. Springer, (1975)