2. HOA 1995: Paderborn, Germany
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (Eds.): Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-61254-8- Jan Willem Klop: Term Graph Rewriting. 1-16
- Steffen van Bakel, Maribel Fernández: Approximation and Normalization Results for Typeable Term Rewriting Systems. 17-36
- Stefan Blom: A Complete Proof System for Nested Term Graphs. 74-89
- Stefan Kahrs: The Variable Containment Problem. 109-123
- Karl Meinke: Higher-Order Equational Logic for Specification, Simulation and Testing. 124-143
- Sava Mintchev, David R. Lester: The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. 144-162
- Bernhard Möller: Assertions and Recursions. 163-184
- Vincent van Oostrom: Development Closed Critical Pairs. 185-200
- Jaco van de Pol: Two Different Strong Normalization Proofs? 201-220
- Jan Springintveld: Third-Order Matching in the Polymorphic Lambda Calculus. 221-237
- L. J. Steggles: Higher-Order Algebra with Transfinite Types. 238-263
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team