×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 74-93 (2014).
MSC:  03B70 03B45 68Q45
PDF BibTeX XML Cite
Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 297-324 (2014).
MSC:  03B44 03D05
PDF BibTeX XML Cite
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 287-301 (2009).
MSC:  03B44 03C40
PDF BibTeX XML Cite
Full Text: DOI
Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 181-213 (2004).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999).
MSC:  03B44 03B35 68T15 68Q42
PDF BibTeX XML Cite