( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formalization of Metaprogramming for real.

, и . ICLP, стр. 354-373. MIT Press, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Paul Levi

Thomas Levi

Idan Levi

Paul Levi

Susanne Levi

 

Другие публикации лиц с тем же именем

How to Transform an Analyzer into a Verifier., , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 595-609. Springer, (2001)Contributions to a Theory of Existential Termination for Definite Logic Programs., и . GULP-PRODE, стр. 631-642. (1995)Finite Failure is AND-Compositional., и . GULP-PRODE (1), стр. 464-478. (1994)Modelling Prolog Control., , , и . J. Log. Comput., 3 (6): 579-603 (1993)What is Logic Programming good for in Software Engineering?, и . Advances in Software Engineering and Knowledge Engineering, том 2 из Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)Contributions to the Semantics of Open Logic Programs., , , и . FGCS, стр. 570-580. IOS Press, (1992)On the Verification of Finite Failure., и . PPDP, том 1702 из Lecture Notes in Computer Science, стр. 311-327. Springer, (1999)Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics., и . MFCS, том 32 из Lecture Notes in Computer Science, стр. 294-301. Springer, (1975)Toward an Inductionless Technique for Proving Properties of Logic Programs., , и . ICLP, стр. 175-181. ADDP-GIA, (1982)On the Semantics of Logic Programs.. ICLP, стр. 945. MIT Press, (1991)