×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 194-207 (2014).
MSC:  68N18
BibTeX Cite
Full Text: DOI
Mariño, Julio (ed.), Functional and constraint logic programming. 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20774-7/pbk). Lecture Notes in Computer Science 6559, 1-29 (2011).
MSC:  68Q85 68M11
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software