×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 112-129 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 19-40 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 23-36 (2006).
MSC:  03B65 03B44 68T50
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 11th international conference, CIAA 2006, Taipei, Taiwan, August 21–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37213-4/pbk). Lecture Notes in Computer Science 4094, 230-241 (2006).
MSC:  03B44 68Q45 68T27
PDF BibTeX XML Cite
Full Text: DOI
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 139-151 (2002).
MSC:  03B65 03B45 68T50
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 96-110 (1992).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite

Filter Results by …

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