×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 139-159 (2012).
MSC:  68T27 03B40 68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 36 p. (1996).
MSC:  68Q42 68T27
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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