×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
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, 162-187 (2004).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: Link
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, 40-69 (2004).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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