×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 46, 16 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Peron, Adriano (ed.) et al., Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10–12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 161, 102-115 (2014).
MSC:  68Q45 03B44 68Q60
PDF BibTeX XML Cite
Full Text: Link
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, 424-439 (2009).
MSC:  03B25
PDF BibTeX XML Cite
Full Text: DOI
Apt, Krzysztof R. (ed.) et al., New perspectives on games and interaction. Selected papers based on the presentations at the colloquium, Amsterdam, Netherlands, February 5–7, 2007. Amsterdam: Amsterdam University Press (ISBN 978-90-8964-057-4/pbk; 978-90-4850-642-2/ebook). Texts in Logic and Games 4, 211-236 (2008).
MSC:  03D05 68Q60 91A44
PDF BibTeX XML Cite

Filter Results by …

Reviewing State
Year of Publication
Classification