×

zbMATH — the first resource for mathematics

Found 133 Documents (Results 1–100)

100
MathJax
Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-52920-1/pbk; 978-3-662-52921-8/ebook). Lecture Notes in Computer Science 9803, 234-248 (2016).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev D. (ed.) et al., Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Cham: Springer (ISBN 978-3-319-23533-2/pbk; 978-3-319-23534-9/ebook). Lecture Notes in Computer Science 9300, 237-252 (2015).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv
J. Math. Sci., New York 188, No. 1, 35-46 (2013); translation from Zap. Nauchn. Semin. POMI 399, 65-87 (2012).
MSC:  94A60 94C10
PDF BibTeX XML Cite
Full Text: DOI
Winkler, Franz (ed.), Algebraic informatics. 4th international conference, CAI 2011, Linz, Austria, June 21–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21492-9/pbk). Lecture Notes in Computer Science 6742, 97-114 (2011).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 368-379 (2011).
MSC:  68Q19 03C13 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 328-353 (2010).
MSC:  68Q19 03C13 68Q15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Cook, William J. (ed.) et al., Research trends in combinatorial optimization. Papers based on the presentations at the workshop Bonn, Germany, 2008. Dedicated to Bernard Korte on the occasion of the 70th birthday. Berlin: Springer (ISBN 978-3-540-76795-4/hbk). 285-302 (2009).
MSC:  05C25
PDF BibTeX XML Cite
Full Text: DOI
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 239-264 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Cuny, J. (ed.) et al., Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1073, 211-224 (1996).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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