×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 32-46 (1998).
BibTeX Cite

Filter Results by …

Document Type
Year of Publication
Classification