×

zbMATH — the first resource for mathematics

Found 77 Documents (Results 1–77)

100
MathJax
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 79-172 (2016).
PDF BibTeX Cite
Full Text: DOI
Dokl. Math. 90, No. 3, 697-698 (2014); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 459, No. 2, 154-155 (2014).
PDF BibTeX Cite
Full Text: DOI
Algebra Logic 50, No. 6, 539-552 (2012); translation from Algebra Logika 50, No. 6, 802-821 (2011).
PDF BibTeX Cite
Full Text: DOI
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 31-36 (2009).
PDF BibTeX Cite
Full Text: DOI
Chatzidakis, Zoé (ed.) et al., Model theory with applications to algebra and analysis. Vol. 2. Cambridge: Cambridge University Press (ISBN 978-0-521-70908-8/pbk). London Mathematical Society Lecture Note Series 350, 207-235 (2008).
MSC:  03B25 03C60 11U05
PDF BibTeX Cite
Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 478-492 (2008).
PDF BibTeX Cite
Full Text: DOI
Pandya, Paritosh K. (ed.) et al., FST TCS 2003: Foundations of software technology and theoretical computer science. 23rd conference, Mumbai, India, December 15–17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20680-9/pbk). Lect. Notes Comput. Sci. 2914, 156-167 (2003).
PDF BibTeX Cite
Full Text: DOI
Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 237-252 (2000).
MSC:  03B25 12L05 11U05
PDF BibTeX Cite
Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 49-105 (2000).
PDF BibTeX Cite
Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 118-132 (1999).
MSC:  03B25 68Q42
PDF BibTeX Cite
Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 103-117 (1999).
MSC:  03B25 68Q42
PDF BibTeX Cite
Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 124-167 (1999).
Reviewer: G.Mints (Stanford)
PDF BibTeX Cite

Filter Results by …

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