×

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, 361-379 (2015).
MSC:  68T30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Archer, Myler (ed.) et al., Proceedings of the 6th international workshop on strategies in automated deduction (STRATEGIES 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 11, 3-25 (2007).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 110-126 (2004).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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