×

zbMATH — the first resource for mathematics

Found 107 Documents (Results 1–100)

100
MathJax
Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 177-201 (2017).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 1-16 (2015).
MSC:  68Q70 18D15 20M35
PDF BibTeX XML Cite
Full Text: DOI arXiv
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 160-171 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bai, Chengming (ed.) et al., Operads and universal algebra. Proceedings of the summer school and international conference, Tianjin, China, July 5–9, 2010. Hackensack, NJ: World Scientific (ISBN 978-981-4365-11-6/hbk; 978-981-4458-33-7/ebook). Nankai Series in Pure, Applied Mathematics and Theoretical Physics 9, 89-106 (2012).
MSC:  68Q70
PDF BibTeX XML Cite
Full Text: DOI
Holzer, Markus (ed.) et al., Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22599-4/pbk). Lecture Notes in Computer Science 6808, 93-106 (2011).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
Full Text: DOI
Mauri, Giancarlo (ed.) et al., Developments in language theory. 15th international conference, DLT 2011, Milan, Italy, July 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22320-4/pbk). Lecture Notes in Computer Science 6795, 117-128 (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 479-490 (2008).
MSC:  68Q70
PDF BibTeX XML Cite
Full Text: DOI
Harju, Tero (ed.) et al., Proceedings of WORDS’03, the 4th international conference on combinatorics on words, Turku, Finland, September 10–13, 2003. Turku: Turku Centre for Computer Science (ISBN 952-12-1211-X/pbk). TUCS General Publication 27, 309-319 (2003).
MSC:  68Q45
PDF BibTeX XML Cite
Ésik, Zoltán (ed.) et al., Developments in language theory. 7th international conference, DLT 2003, Szeged, Hungary, July 7–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40434-1/pbk). Lect. Notes Comput. Sci. 2710, 349-360 (2003).
MSC:  68Q70 20M35
PDF BibTeX XML Cite
Full Text: Link
Immerman, Neil (ed.) et al., Descriptive complexity and finite models. Proceedings of a DIMACS workshop, January 14–17, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 31, 63-96 (1997).
MSC:  68Q45
PDF BibTeX XML Cite
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 207-237 (1994).
MSC:  03B47 03F05 03G15
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Software