×

zbMATH — the first resource for mathematics

Found 47 Documents (Results 1–47)

100
MathJax
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 486-497 (2007).
MSC:  03B44
PDF BibTeX XML Cite
Full Text: DOI
Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 322-333 (2006).
MSC:  03B44 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 233-253 (2006).
MSC:  03B44 03B25
PDF BibTeX XML Cite
Algebra Logika 39, No. 6, 720-740 (2000); translation in Algebra Logic 39, No. 6, 412-422 (2000).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Full Text: EuDML

Filter Results by …

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