×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
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, 395-409 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Developments in language theory. 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26–29, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35428-X/pbk). Lecture Notes in Computer Science 4036, 95-107 (2006).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software