×

zbMATH — the first resource for mathematics

Found 588 Documents (Results 1–100)

100
MathJax
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 271-319 (2020).
MSC:  03-XX
PDF BibTeX Cite
Full Text: DOI
Russ. Math. 64, No. 4, 1-11 (2020); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2020, No. 4, 3-15 (2020).
MSC:  54E35 54F50 22F30
PDF BibTeX Cite
Full Text: DOI
Proc. Steklov Inst. Math. 304, Suppl. 1, S88-S96 (2019); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 23, No. 4, 152-161 (2017).
PDF BibTeX Cite
Full Text: DOI
Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 15, 22 p. (2018).
MSC:  68Q17 68P05 68Q55
PDF BibTeX Cite
Full Text: DOI
Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 108-119 (2018).
MSC:  68Qxx 68Rxx 68Wxx
PDF BibTeX Cite
Full Text: DOI
Fici, Gabriele (ed.) et al., String processing and information retrieval. 24th international symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10508, 91-96 (2017).
MSC:  68P05 68P20
PDF BibTeX Cite
Full Text: DOI
Okamoto, Yoshio (ed.) et al., 28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 92, Article 61, 12 p. (2017).
MSC:  68U05 68Q25
PDF BibTeX Cite
Full Text: DOI
Clay, Matt (ed.) et al., Office hours with a geometric group theorist. Princeton, NJ: Princeton University Press. 176-202 (2017).
MSC:  20F67 20-01
PDF BibTeX 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
Biographic Reference
all top 3
Software