/LC.GIF&client=easterncarolinaedu)
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [and others] (eds.).
| Other author | Dowek, Gilles. |
| Other author | International Workshop on Higher-Order Algebra, Logic, and Term Rewriting 1995 : Paderborn, Germany) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1996. |
| Description | 287 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 1074 Lecture notes in computer science 1074. ^A466336 |
| Contents | Term graph rewriting / Jan Willem Klop -- Approximation and normalization results for typeable term rewriting systems / Steffan van Bakel and Maribel Fernández -- Modular properties of algebraic type systems / Gilles Barthe and Herman Geuvers -- Collapsing partial combinatory algebras / Inge Bethke and Jan Willem Klop -- A complete proof system for nested term graphs / Stefan Blom -- R[superscript n]⁻ and G[superscript n]⁻logics / Claus Hintermeier, Hèléne Kirchner, Peter D. Mosses -- The variable containment problem / Stefan Kahrs -- Higher-order equational logic for specification, simulation and testing / Karl Meinke -- The correctness of a higher-order lazy functional language implementation : an exercise in mechanical theorem proving / Sava Mintchev and David Lester -- Assertions and recursions / Bernhard Möller -- Development closed critical pairs / Vincent van Oostrom -- Two different strong normalization proofs? / Jaco van de Pol -- Third-order matching in the polymorphic lambda calculus / Jan Springintveld -- Higher-order algebra with transdefinite types / L.J. Steggles -- Abstraction of hardware construction / Li-Guo Wang and Michael Mendler. |
| Bibliography note | Includes bibliographical references. |
| LCCN | 96018318 |
| ISBN | 3540612548 (softcover : acidb-sfree paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA267 .H484 1996 | ✔ Available | Place Hold |