×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

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 (ISBN 978-3-030-30228-3/hbk; 978-3-030-30229-0/ebook). Trends in Logic – Studia Logica Library 53, 29-54 (2020).
MSC:  03E 06A
PDF BibTeX XML Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 319-333 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 5-24 (2013).
MSC:  68Q85 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 355-364 (2012).
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, 441-452 (2011).
MSC:  68Q60 03D20 03E05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification