×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 567-576, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). Lecture Notes in Logic 20, 369-385 (2005).
MSC:  03D45 28A78 68Q30
PDF BibTeX XML Cite
Vestn. St. Petersbg. Univ., Math. 28, No. 4, 19-24 (1995); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 1995, No. 4, 24-30 (1995).
MSC:  37A99 28A78
PDF BibTeX XML Cite