×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

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).
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).
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).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Futatsugi, Kokichi (ed.) et al., Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-35462-X/pbk). Lecture Notes in Computer Science 4060, 555-577 (2006).
MSC:  68N17 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 255-268 (2001).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: Link
Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 238-255 (2001).
MSC:  68Q65 68Q85
PDF BibTeX XML Cite
Full Text: Link
Bert, Didier (ed.) et al., Recent trends in algebraic development techniques. 14th international workshop, WADT ’99, Château de Bonas, France, September 15-18, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1827, 271-290 (2000).
MSC:  68Q65
PDF BibTeX XML Cite