×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 261-281 (2004).
MSC:  68Q85 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: Link
de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 359-375 (2004).
MSC:  68P25 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Classification
Software