M. Gabbrielli and G. Levi. On the Semantics of Logic Programs. In J. Leach Albert, B. Monien, and M. Rodriguez Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, volume 510 of Lecture Notes in Computer Science, pages 1--19. Springer-Verlag, Berlin, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A semantics for logic programs based on first order.. - Ernesto Lastres (Correct)
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
Compositional Analysis for Equational Horn Programs - Alpuente, al. (1994) (1 citation) (Correct)
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
Compositional Analysis for - Programs (Correct)
A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (26 citations) (Correct)
Semantic Definitions for Normal Open Programs - Orejas, Pino (1999) (Correct)
Institutions for Logic Programming - Orejas, Pino, Ehrig (1997) (4 citations) (Correct)
Differential Logic Programs: Semantics and.. - Bossi, Bugliesi.. Self-citation (Gabbrielli Levi) (Correct)
Observable Behaviors and Equivalences of Logic Programs - Gabbrielli, Levi, Meo (1992) (6 citations) Self-citation (Gabbrielli Levi) (Correct)
Observable Semantics for Constraint Logic Programs - Gabbrielli, Dore, Levi (1995) (23 citations) Self-citation (Gabbrielli Levi) (Correct)
An Algebraic Theory of Observables - Comini, Levi (1994) (8 citations) Self-citation (Levi) (Correct)
Differential Logic Programming - Bossi, Bugliesi, Gabbrielli, Levi.. (1993) (9 citations) Self-citation (Gabbrielli Levi) (Correct)
S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (7 citations) Self-citation (Gabbrielli Levi) (Correct)
Observational Equivalences for Logic Programs - Gabbrielli, Levi, Meo (1992) (3 citations) Self-citation (Gabbrielli Levi) (Correct)
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (1993) (2 citations) Self-citation (Gabbrielli Levi) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC