Hélène Kirchner, Giorgio Levi
Proceedings of the Third International Conference on Algebraic and Logic Programming
ALP, 1992.

@proceedings{ALP-1992,
	address       = "Volterra, Italy",
	editor        = "Hélène Kirchner and Giorgio Levi",
	isbn          = "3-540-55873-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}",
	volume        = 632,
	year          = 1992,
}

Contents (29 items)

7 ×#logic programming
4 ×#semantics
3 ×#algebra
3 ×#termination
2 ×#analysis
2 ×#concurrent
2 ×#constraints
2 ×#equation
2 ×#first-order
2 ×#on the

ALP-1992-Ait-Kaci #calculus #object-oriented

Outline of an Object-Oriented Calculus of Higher Type (HAK), pp. 1–2.

ALP-1992-EhrigP #algebra #equation #specification

High-Level-Replacement Systems for Equational Algebraic Specifications (HE, FPP), pp. 3–20.

ALP-1992-Lescanne #term rewriting #termination

Termination of Rewrite Systems by Elementary Interpretations (PL), pp. 21–36.

ALP-1992-Gnaedig #order #termination

Termination of Order-sorted Rewriting (IG), pp. 37–52.

ALP-1992-Gramlich #composition #termination

Generalized Sufficient Conditions for Modular Termination of Rewriting (BG), pp. 53–68.

ALP-1992-AptMP #first-order #formal method #prolog

A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.

ALP-1992-GabbrielliM #fixpoint #semantics

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns (MG, MCM), pp. 84–99.

ALP-1992-BarbutiCGM #prolog #semantics

Oracle Semantics for Prolog (RB, MC, RG, MJM), pp. 100–114.

ALP-1992-Hermann #on the #recursion

On the Relation Between Primitive Recursion, Schematization and Divergence (MH), pp. 115–127.

ALP-1992-Hoffmann #term rewriting

Term Rewriting with Sharing and Memoïzation (BH), pp. 128–142.

ALP-1992-Antoy

Definitional Trees (SA), pp. 143–157.

ALP-1992-Meseguer #logic programming #multi #paradigm

Multiparadigm Logic Programming (JM), pp. 158–200.

ALP-1992-Hong #constraints #logic programming

Non-linear Real Constraints in Constraint Logic Programming (HH), pp. 201–212.

ALP-1992-Lopez-Fraguas #constraints #functional #logic programming

A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.

ALP-1992-Hanus #incremental

Incremental Rewriting in Narrowing Derivations (MH), pp. 228–243.

ALP-1992-MiddeldorpH

Counterexamples to Completeness Results for Basic Narrowing (AM, EH), pp. 244–258.

ALP-1992-Echahed

Uniform Narrowing Strategies (RE), pp. 259–275.

ALP-1992-Lysne #algebra #consistency #proving #semantics

Proof by Consistency in Constructive Systems with Final Algebra Semantics (OL), pp. 276–290.

ALP-1992-BundgenE #algorithm #analysis #normalisation #performance

A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.

ALP-1992-Hardin

Eta-conversion for the Languages of Explicit Substitutions (TH), pp. 306–321.

ALP-1992-KingS #analysis #concurrent #logic programming #source code

Serialisation Analysis of Concurrent Logic Programs (AK, PS), pp. 322–334.

ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification #tool support

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.

ALP-1992-LaneveM #axiom #equivalence #permutation #λ-calculus

Axiomatizing Permutation Equivalence in the λ-Calculus (CL, UM), pp. 350–363.

ALP-1992-Maher #logic programming

A CLP View of Logic Programming (MJM), pp. 364–383.

ALP-1992-AravindanD #deduction #logic programming #semantics #source code

Partial Deduction of Logic Programs wrt Well-Founded Semantics (CA, PMD), pp. 384–402.

ALP-1992-Balbiani #logic programming

The Finiteness of Logic Programming Derivations (PB), pp. 403–419.

ALP-1992-BachmairGW #first-order #proving #theorem proving

Theorem Proving for Hierarchic First-Order Theories (LB, HG, UW), pp. 420–434.

ALP-1992-Socher-Ambrosius

A Goal Oriented Strategy Based on Completion (RSA), pp. 435–445.

ALP-1992-BoudetC #equation #on the

On n-Syntactic Equational Theories (AB, EC), pp. 446–457.