From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Contributions to a Theory of Existential Termination for Definite Logic Programs.

G. Levi, и F. Scozzari. GULP-PRODE, стр. 631-642. (1995)

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.

Contributions to a Theory of Existential Termination for Definite Logic Programs.G. Levi, и F. Scozzari. GULP-PRODE, стр. 631-642. (1995)Finite Failure is AND-Compositional.R. Gori, и G. Levi. GULP-PRODE (1), стр. 464-478. (1994)Observational Equivalences for Logic Programs.M. Gabbrielli, G. Levi, и M. Meo. JICSLP, стр. 131-145. MIT Press, (1992)Toward an Inductionless Technique for Proving Properties of Logic Programs.R. Barbuti, P. Degano, и G. Levi. ICLP, стр. 175-181. ADDP-GIA, (1982)On the Semantics of Logic Programs.G. Levi. ICLP, стр. 945. MIT Press, (1991)A Formalization of Metaprogramming for real.G. Levi, и D. Ramundo. ICLP, стр. 354-373. MIT Press, (1993)An OR-Compositional Semantics for Logic Programs.A. Bossi, M. Gabbrielli, G. Levi, и M. Meo. ICLP Workshop on Construction of Logic Programs, стр. 215-240. Wiley, (1991)What is Logic Programming good for in Software Engineering?P. Ciancarini, и G. Levi. Advances in Software Engineering and Knowledge Engineering, том 2 из Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)Modelling Prolog Control.R. Barbuti, M. Codish, R. Giacobazzi, и G. Levi. J. Log. Comput., 3 (6): 579-603 (1993)Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.G. Levi, и F. Sirovich. MFCS, том 32 из Lecture Notes in Computer Science, стр. 294-301. Springer, (1975)