×

zbMATH — the first resource for mathematics

Found 236 Documents (Results 1–100)

100
MathJax
Algebra Logic 58, No. 2, 123-136 (2019); translation from Algebra Logika 58, No. 2, 179-199 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Ito, Hiro (ed.) et al., 9th international conference on fun with algorithms, FUN 2018, June 13–15, 2018, La Maddalena Island, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 100, Article 14, 16 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 50, 13 p. (2017).
MSC:  91A44 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
European Studies in Philosophy of Science 6. Cham: Springer (ISBN 978-3-319-55485-3/hbk; 978-3-319-55486-0/ebook). xiv, 242 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 1. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-16808-4/hbk; 978-1-316-71701-1/ebook). vii, 84 p. (2016).
MSC:  03-01 03-02 03Dxx
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 193-207 (2013).
MSC:  68Q45 03B25
PDF BibTeX XML Cite
Full Text: DOI
Béal, Marie-Pierre (ed.) et al., Developments in language theory. 17th international conference, DLT 2013, Marne-la-Vallée, France, June 18–21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38770-8/pbk). Lecture Notes in Computer Science 7907, 264-276 (2013).
MSC:  68Q45 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Chan, T-H. Hubert (ed.) et al., Theory and applications of models of computation. 10th international conference, TAMC 2013, Hong Kong, China, May 20–22, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38235-2/pbk). Lecture Notes in Computer Science 7876, 156-168 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 192-204 (2012).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 311-317 (2010).
MSC:  68W30 39A13
PDF BibTeX XML Cite
Full Text: DOI
Lindström, Sten (ed.) et al., Logicism, intuitionism, and formalism. What has become of them? Originated from the conference and the symposium on constructive mathematics, Uppsala, Sweden, August 2004. Dordrecht: Springer (ISBN 978-1-4020-8925-1/hbk; 978-1-4020-8926-8/ebook). Synthese Library 341, 303-355 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Göbel, Rüdiger (ed.) et al., Models, modules and abelian groups. In memory of A. L. S. Corner. Berlin: Walter de Gruyter (ISBN 978-3-11-019437-1/hbk). 325-328 (2008).
PDF BibTeX XML Cite
Löwe, Benedikt (ed.), Algebra, logic, set theory. Festschrift für Ulrich Felgner zum 65. Geburtstag. London: King’s College Publications (ISBN 1-904987-28-1/hbk). Studies in Logic (London) 4, 33-45 (2007).
MSC:  03B25 20A15
PDF BibTeX XML Cite
Full Text: arXiv
Studies in Logic and the Foundations of Mathematics 148. Amsterdam: Elsevier (ISBN 0-444-50826-0/hbk). xviii, 747 p. (2003).
PDF BibTeX XML Cite
Győry, Kálmán (ed.) et al., Number theory. Diophantine, computational and algebraic aspects. Proceedings of the international conference, Eger, Hungary, July 29-August 2, 1996. Berlin: de Gruyter. 295-309 (1998).
PDF BibTeX XML Cite
Bystrov, Peter I. (ed.) et al., Philosophical logic and logical philosophy. Essays in honour of Vladimir A. Smirnov. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 257, 91-118 (1996).
PDF BibTeX XML Cite

Filter Results by …

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