×

Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. (English) Zbl 0825.00070

Lecture Notes in Computer Science 816. Berlin: Springer-Verlag. vii, 344 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994).
The articles of this volume will not be indexed individually.

MSC:

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDFBibTeX XMLCite
Full Text: DOI