×

zbMATH — the first resource for mathematics

Found 112 Documents (Results 1–100)

100
MathJax
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 275-287 (2019).
MSC:  03D05 03B25
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
MSC:  03-02 03Exx 03A05
PDF BibTeX XML Cite
Full Text: DOI
Peliš, Michal (ed.), The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22–26, 2009. London: College Publications (ISBN 978-1-84890-009-7/pbk). 109-119 (2010).
PDF BibTeX XML Cite
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-15014-9/pbk). xvi, 444 p. (2010).
PDF BibTeX XML Cite
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88439-6/hbk). xvi, 444 p. (2009).
PDF BibTeX XML Cite
Nehaniv, Chrystopher L. (ed.) et al., Algebraic engineering. Proceedings of the international workshop on formal languages and computer systems, Kyoto, Japan, March 18-21, 1997 and proceedings of the first international conference on semigroups and algebraic engineering held in Aizu, Japan, March 24-28, 1997. Singapore: World Scientific. 186-200 (1999).
MSC:  03F30
PDF BibTeX XML Cite
Sambin, Giovanni (ed.) et al., Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 245-263 (1998).
MSC:  03F35 03F15
PDF BibTeX XML Cite
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 327-351 (1996).
MSC:  03F35
PDF BibTeX XML Cite
Full Text: arXiv
Ito, Masami (ed.) et al., Words, languages and combinatorics II. Proceedings of the 2nd international conference, Kyoto, Japan, August 25-28, 1992. Singapore: World Scientific. 452-464 (1994).
MSC:  03F50
PDF BibTeX XML Cite
Model theory, Proc. Sov.-Fr. Colloq., Karaganda/USSR 1990, 106-111 (1990).
MSC:  03H15 03D15
PDF BibTeX XML Cite

Filter Results by …

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