×

zbMATH — the first resource for mathematics

Found 14 Documents (Results 1–14)

100
MathJax
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 69-81 (2015).
MSC:  68Q45
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, 29-46 (2008).
MSC:  68Q45 68Q60 94C10
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
all top 3
Software