×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 -- July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPICS -- Leibniz International Proceedings in Informatics 36, 241-256 (2015).
MSC:  68Q42 05B15 13P10
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software