5. ALP 1996: Aachen, Germany
Michael Hanus,
Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Lecture Notes in Computer Science 1139,
Springer 1996, ISBN
3-540-61735-3
Taro Suzuki:
Standardization Theorem Revisited. 122-134
Luís Caires:
A Language for the Logical Specification of Processes and Relations. 150-164
Elena Marchiori:
Prime Factorizations of Abstract Domains Using First Order Logic. 209-223
Lambda-Calculus and Rewriting
Dieter Nazareth:
The Semantic Treatment of Polymorphic Specification Languages. 330-344
maintained by

, founded at
