×

zbMATH — the first resource for mathematics

Found 18 Documents (Results 1–18)

100
MathJax
Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 107-121, electronic only (2011).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software