×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 37-63 (2006).
MSC:  03F07 03F05
PDF BibTeX XML Cite
Full Text: DOI