×

zbMATH — the first resource for mathematics

Found 190 Documents (Results 1–100)

100
MathJax
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, 89-105 (2015).
MSC:  68Q42 18C05 18C35
PDF BibTeX XML Cite
Full Text: DOI
Pattinson, Dirk (ed.) et al., Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32783-4/pbk). Lecture Notes in Computer Science 7399, 51-70 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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