×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
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, 232-254 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 197-253 (2002).
MSC:  68Q65 03G30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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