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 | Use in library | QA267 .H484 1996 | Off-site |
Details
- Additional Authors
- Description
- 287 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1074
- Subjects
- Note
- Papers from the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting.
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 3540612548 (softcover : alk. paper)
- LCCN
- 96018318
- Owning Institutions
- Princeton University Library