Volume 122,
Numbers 1&2,
3 January 1994
Selected papers from FGCS 1992
- Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
A Compositional Semantics for Logic Programs.
3-47 BibTeX
- Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Adding Closed World Assumptions to Well-Founded Semantics.
49-68 BibTeX
- Tadashi Kawamura:
Logic Program Synthesis from First-Order Logic Specifications.
69-96 BibTeX
- Bern Martens, Danny De Schreye, Tamás Horváth:
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.
97-117 BibTeX
- Makoto Tatsuta:
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams.
119-136 BibTeX
- Yukihide Takayama:
Defining Concurrent Processes Constructively.
137-164 BibTeX
- Andrea Corradini, Ugo Montanari, Francesca Rossi:
An Abstract Machine for Concurrent Modular Systems: CHARM.
165-200 BibTeX
- Vincent Poirriez:
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
201-223 BibTeX
- Marc Denecker, Danny De Schreye:
On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality.
225-262 BibTeX
- Hassan Aït-Kaci, Andreas Podelski, Gert Smolka:
A Feature Constraint System for Logic Programming with Entailment.
263-283 BibTeX
Copyright © Sun May 17 00:24:11 2009
by Michael Ley (ley@uni-trier.de)
