Research Catalog
Higher-order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
- Title
- Higher-order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] eds.
- Author
- International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
- Publication
- Berlin ; New York : Springer-Verlag, c1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 94-1978 | Offsite |
Details
- Additional Authors
- Heering, J.
- Description
- 344 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 816
- Subjects
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 94-1978
- ISBN
- 3540582339
- LCCN
- 94003447
- OCLC
- 30667008
- Conference
- International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
- Title
- Higher-order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] eds.
- Imprint
- Berlin ; New York : Springer-Verlag, c1994.
- Series
- Lecture notes in computer science ; 816
- Bibliography
- Includes bibliographical references.
- Added Author
- Heering, J.
- Research Call Number
- JSE 94-1978