Michael Hanus, Mario Rodríguez-Artalejo
Proceedings of the Fifth International Conference on Algebraic and Logic Programming
ALP, 1996.

@proceedings{ALP-1996,
	address       = "Aachen, Germany",
	editor        = "Michael Hanus and Mario Rodríguez-Artalejo",
	isbn          = "3-540-61735-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Conference on Algebraic and Logic Programming}",
	volume        = 1139,
	year          = 1996,
}

Contents (22 items)

4 ×#semantics
3 ×#algebra
3 ×#constraints
3 ×#logic
3 ×#logic programming
3 ×#normalisation
3 ×#specification
2 ×#composition
2 ×#concurrent
2 ×#order

ALP-1996-AlouiniK #concurrent #implementation #towards

Toward the Concurrent Implementation of Computational Systems (IA, CK), pp. 1–31.

ALP-1996-PierroD #on the

On Negation As Instantiation (ADP, WD), pp. 32–46.

ALP-1996-BandaHM #independence #logic

Independence in Dynamically Scheduled Logic Languages (MJGdlB, MVH, KM), pp. 47–61.

ALP-1996-Benhamou #constraints #theorem proving

Heterogeneous Constraint Solving (FB), pp. 62–76.

ALP-1996-FagesG #constraints #logic programming #semantics #source code

A Hierarchy of Semantics for Normal Constraint Logic Programs (FF, RG), pp. 77–91.

ALP-1996-OlveszkyL #order #termination

Order-Sorted Termination: The Unsorted Way (PCÖ, OL), pp. 92–106.

ALP-1996-Marchiori

Unravelings and Ultra-properties (MM), pp. 107–121.

ALP-1996-Suzuki #revisited #standard #theorem

Standardization Theorem Revisited (TS), pp. 122–134.

ALP-1996-KhasidashviliG #normalisation #standard

Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.

ALP-1996-Caires #logic #process #specification

A Language for the Logical Specification of Processes and Relations (LC), pp. 150–164.

ALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming

A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.

ALP-1996-AnconaZ #algebra #approach #composition #mixin

An Algebraic Approach to Mixins and Modularity (DA, EZ), pp. 179–193.

ALP-1996-FassbenderM #decidability #recursion #strict

A Strict Border for the Decidability of E-Unification for Recursive Functions (HF, SM), pp. 194–208.

ALP-1996-Marchiori96a #abstract domain #first-order #logic #using

Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.

ALP-1996-Volpe #abstraction #proving

Abstractions of Uniform Proofs (PV), pp. 224–237.

ALP-1996-GiacobazziR #logic programming #semantics

Complementing Logic Program Semantics (RG, FR), pp. 238–253.

ALP-1996-KennawayOV #term rewriting

Meaningless Terms in Rewriting (RK, VvO, FJdV), pp. 254–268.

ALP-1996-ManoO #higher-order #normalisation #term rewriting

Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.

ALP-1996-FerreiraKP #composition #normalisation #λ-calculus

λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.

ALP-1996-Almendros-JimenezGG #algebra #functional #logic programming #order #polymorphism #semantics

Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types (JMAJ, AGF, AGL), pp. 299–313.

ALP-1996-Nazareth #specification #type system

Specifying Type Systems (DN), pp. 314–329.

ALP-1996-Nazareth96a #polymorphism #semantics #specification

The Semantic Treatment of Polymorphic Specification Languages (DN), pp. 330–344.