×

zbMATH — the first resource for mathematics

Found 158 Documents (Results 1–100)

100
MathJax
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 407-416 (2016).
MSC:  03D05 03B15 05C75
PDF BibTeX XML Cite
Full Text: DOI
Rizvi, Syed Tariq (ed.) et al., Algebra and its applications. ICAA, Aligarh, India, December 15–17, 2014. Proceedings of the conference. Singapore: Springer (ISBN 978-981-10-1650-9/hbk; 978-981-10-1651-6/ebook). Springer Proceedings in Mathematics & Statistics 174, 421-430 (2016).
MSC:  94A45 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Nešetril, Jaroslav (ed.) et al., Extended abstracts of the eight European conference on combinatorics, graph theory and applications, EuroComb 2015, Bergen, Norway, August 31 – September 4, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 49, 559-568, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 56, No. 6, 1009-1018 (2015); translation from Sib. Mat. Zh. 56, No. 6, 1264-1276 (2015).
MSC:  20D60 20D06 20G40
PDF BibTeX XML Cite
Full Text: DOI
Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 49-70 (2014).
MSC:  03D10 68Q05 03E35
PDF BibTeX XML Cite
Full Text: arXiv
Wang, Jiacun (ed.), Handbook of finite state based models and applications. Boca Raton, FL: CRC Press (ISBN 978-1-4398-4618-6/hbk; 978-1-4398-4619-3/ebook). Discrete Mathematics and its Applications, 69-85 (2013).
MSC:  68Q45 03D05 68P05
PDF BibTeX XML Cite
Proc. Steklov Inst. Math. 279, Suppl. 1, S43-S61 (2012); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 17, No. 4, 53-65 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28–30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34731-3/pbk). Lecture Notes in Computer Science 7655, 196-208 (2012).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 274-288, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 361-376, electronic only (2011).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link
Proc. Steklov Inst. Math. 272, Suppl. 1, 271-286 (2011); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 16, No. 3, 45-60 (2010).
MSC:  20D06 20D60 05C25
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.), Studies in weak arithmetics. Stanford, CA: CSLI Publications; Créteil: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est (ISBN 978-1-57586-602-4/pbk). CSLI Lecture Notes 196, 127-151 (2010).
PDF BibTeX XML Cite
Lagakos, Stephen (ed.) et al., Recent advances in applied mathematics. Proceedings of the American conference on applied mathematics (AMERICAN-MATH ’10), Harvard University, Cambridge, MA, USA, January 27–29, 2010. Athens: WSEAS Press (ISBN 978-960-474-150-2). Mathematics and Computers in Science and Engineering, 201-205 (2009).
MSC:  68Q05
PDF BibTeX XML Cite
Proc. Steklov Inst. Math. 267, Suppl. 1 (2009, Suppl. 3), S218-S233 (2009); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 15, No. 2, 58-73 (2009).
MSC:  20D06 20D60 05C25
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logika 47, No. 5, 558-570 (2008); translation in Algebra Logic 47, No. 5, 314-320 (2008).
MSC:  20D60 20D06 20G40
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 257, Suppl. 1, S145-S154 (2007); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 13, No. 1, 89-98 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Second international conference, CAI 2007, Thessaloniki, Greece, May 21–25, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-75413-8/pbk). Lecture Notes in Computer Science 4728, 208-217 (2007).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

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