Heering, Jan (ed.); Meinke, Karl (ed.); Möller, Bernhard (ed.); Nipkow, Tobias (ed.) 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. Cited in 1 ReviewCited in 2 Documents MSC: 00B25 Proceedings of conferences of miscellaneous specific interest 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Amsterdam (NL); Workshop; HOA ’93; Higher-order algebra; Logic; Term rewriting PDFBibTeX XMLCite \textit{J. Heering} (ed.) et al., Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA '93, Amsterdam, the Netherlands, September 23--24, 1993. Selected papers. Berlin: Springer (1994; Zbl 0825.00070) Full Text: DOI