Proceedings of the Fifth International Conference on Algebraic and Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.