3. ALP 1992: Volterra, Italy
Hélène Kirchner, Giorgio Levi (Eds.):
Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings.
Lecture Notes in Computer Science 632 Springer 1992, ISBN 3-540-55873-X 
- Hassan Aït-Kaci:
Outline of an Object-Oriented Calculus of Higher Type (Abstract).
1-2
- Hartmut Ehrig, Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications.
3-20
- Pierre Lescanne:
Termination of Rewrite Systems by Elementary Interpretations.
21-36
- Isabelle Gnaedig:
Termination of Order-sorted Rewriting.
37-52
- Bernhard Gramlich:
Generalized Sufficient Conditions for Modular Termination of Rewriting.
53-68
- Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi:
A Theory of First-Order Built-in's of Prolog.
69-83
- Maurizio Gabbrielli, Maria Chiara Meo:
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.
84-99
- Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher:
Oracle Semantics for Prolog.
100-114
- Miki Hermann:
On the Relation Between Primitive Recursion, Schematization and Divergence.
115-127
- Berthold Hoffmann:
Term Rewriting with Sharing and Memoïzation.
128-142
- Sergio Antoy:
Definitional Trees.
143-157
- José Meseguer:
Multiparadigm Logic Programming.
158-200
- Hoon Hong:
Non-linear Real Constraints in Constraint Logic Programming.
201-212
- Francisco Javier López-Fraguas:
A General Scheme for Constraint Functional Logic Programming.
213-227
- Michael Hanus:
Incremental Rewriting in Narrowing Derivations.
228-243
- Aart Middeldorp, Erik Hamoen:
Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract).
244-258
- Rachid Echahed:
Uniform Narrowing Strategies.
259-275
- Olav Lysne:
Proof by Consistency in Constructive Systems with Final Algebra Semantics.
276-290
- Reinhard Bündgen, Hasko Eckhardt:
A Fast Algorithm for Ground Normal Form Analysis.
291-305
- Thérèse Hardin:
Eta-conversion for the Languages of Explicit Substitutions.
306-321
- Andy King, Paul Soper:
Serialisation Analysis of Concurrent Logic Programs.
322-334
- Alessandro Giovini, Franco Morando, Antonio Capani:
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.
335-349
- Cosimo Laneve, Ugo Montanari:
Axiomatizing Permutation Equivalence in the Lambda-Calculus.
350-363
- Michael J. Maher:
A CLP View of Logic Programming.
364-383
- Chandrabose Aravindan, Phan Minh Dung:
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
384-402
- Philippe Balbiani:
The Finiteness of Logic Programming Derivations.
403-419
- Leo Bachmair, Harald Ganzinger, Uwe Waldmann:
Theorem Proving for Hierarchic First-Order Theories.
420-434
- Rolf Socher-Ambrosius:
A Goal Oriented Strategy Based on Completion.
435-445
- Alexandre Boudet, Evelyne Contejean:
On n-Syntactic Equational Theories.
446-457
Last update Tue Feb 14 03:48:18 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
