×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 267-282, electronic only (2011).
MSC:  68Q42
BibTeX Cite
Full Text: DOI Link
Kuchen, Herbert (ed.), Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings. Berlin: Springer (ISBN 978-3-642-22530-7/pbk). Lecture Notes in Computer Science 6816, 138-155 (2011).
MSC:  68Q42
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software