×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016).
MSC:  68Q60 03B44 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
all top 3
Software