Research Catalog
Higher order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 1993 : selected papers
- Title
- Higher order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 1993 : selected papers / Jan Heering [and others] eds.
- Author
- International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
- Publication
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA267 .I5785 1993 | Off-site |
Holdings
Details
- Additional Authors
- Heering, J.
- Description
- 344 pages; 24 cm.
- Series Statement
- Lecture notes in computer science ; 816
- Uniform Title
- Lecture notes in computer science ; 816.
- Subjects
- ISBN
- 3540582339
- LCCN
- 94003447
- OCLC
- 502560623
- ocn502560623
- Owning Institutions
- Columbia University Libraries