×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Pfenning, Frank (ed.), Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12–14, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36834-2/pbk). Lecture Notes in Computer Science 4098, 197-211 (2006).
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software