Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /
Saved in:
| Imprint: | Berlin ; New York : Springer-Verlag, c1996. |
|---|---|
| Description: | 287 p. |
| Language: | English |
| Series: | Lecture notes in computer science 1074 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2481539 |
