×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 124-141 (2018).
Reviewer: Reviewer (Berlin)
MSC:  68R10 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 539-561 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q65 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Hill, Patricia (ed.), Logic based program synthesis and transformation. 15th international symposium, LOPSTR 2005, London, UK, September 7–9, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-32654-0/pbk). Lecture Notes in Computer Science 3901, 133-146 (2006).
Reviewer: Reviewer (Berlin)
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
all top 3
Software