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
- Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Adding Closed World Assumptions to Well-Founded Semantics.
49-68
- Tadashi Kawamura:
Logic Program Synthesis from First-Order Logic Specifications.
69-96
- Bern Martens, Danny De Schreye, Tamás Horváth:
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.
97-117
- Makoto Tatsuta:
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams.
119-136
- Yukihide Takayama:
Defining Concurrent Processes Constructively.
137-164
- Andrea Corradini, Ugo Montanari, Francesca Rossi:
An Abstract Machine for Concurrent Modular Systems: CHARM.
165-200
- Vincent Poirriez:
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
201-223
- Marc Denecker, Danny De Schreye:
On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality.
225-262
- Hassan Aït-Kaci, Andreas Podelski, Gert Smolka:
A Feature Constraint System for Logic Programming with Entailment.
263-283
Copyright © Fri Mar 12 17:33:07 2010
by Michael Ley (ley@uni-trier.de)
