×

zbMATH — the first resource for mathematics

Found 25 Documents (Results 1–25)

100
MathJax
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 1, 13 p. (2017).
MSC:  68Q06 68R07 94C11
PDF BibTeX XML Cite
Full Text: DOI
Pardo, Alberto (ed.) et al., LATIN 2014: theoretical informatics. 11th Latin American symposium, Montevideo, Uruguay, March 31 – April 4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54422-4/pbk). Lecture Notes in Computer Science 8392, 202-213 (2014).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 114-127 (1997).
MSC:  03D15 68Q25 94C10
PDF BibTeX XML Cite

Filter Results by …

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