×

zbMATH — the first resource for mathematics

Found 23 Documents (Results 1–23)

100
MathJax
Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).
PDF BibTeX XML Cite
Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 5-27 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 65-81 (2007).
MSC:  68Q60 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 0-521-77184-6/hbk). x, 480 p. (2001).
PDF BibTeX XML Cite
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 93-101 (2001).
MSC:  68M14
PDF BibTeX XML Cite

Filter Results by …

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