×

zbMATH — the first resource for mathematics

Found 19 Documents (Results 1–19)

100
MathJax
Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 103-118, electronic only (2010).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI Link
Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 104-119 (1999).
MSC:  03B70 68N18 68Q60
PDF BibTeX XML Cite