Research Catalog
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
- Title
- Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.] (eds.).
- Publication
- Berlin ; New York : Springer, c1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | JSE 96-1380 | Offsite |
Details
- Additional Authors
- Description
- 287 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1074
- Subject
- Bibliography (note)
- Includes bibliographical references.
- 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.
- Call Number
- JSE 96-1380
- ISBN
- 3540612548 (softcover : acid₋free paper)
- LCCN
- 96018318
- OCLC
- 34617715
- Title
- Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.] (eds.).
- Imprint
- Berlin ; New York : Springer, c1996.
- Series
- Lecture notes in computer science ; 1074
- Bibliography
- Includes bibliographical references.
- Added Author
- Dowek, Gilles.International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany)
- Research Call Number
- JSE 96-1380