×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
Coecke, Bob (ed.) et al., Proceedings of the 10th international workshop on quantum physics and logic, QPL’13, Castelldefels (Barcelona), Spain, July 17–19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 171, 113-131 (2014).
MSC:  03B65 03G12 18D15
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 99-110 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Lecomte, Alain (ed.) et al., Logical aspects of computational linguistics. 2nd international conference, LACL ’97. Nancy, France, September 22-24, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1582, 231-250 (1999).
MSC:  03B35 68T50 03B65 68T15 00A35
PDF BibTeX XML Cite
Meyer auf der Heide, Friedhelm (ed.) et al., Automata, languages and programming. 23rd international colloquium, ICALP ’96, Paderborn, Germany, July 8-12, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61440-0/pbk). Lect. Notes Comput. Sci. 1099, 158-169 (1996).
PDF BibTeX XML Cite