scientific article; zbMATH DE number 6862048

From MaRDI portal

Publication:4636567

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2016.20zbMath1391.68066arXiv1602.05940MaRDI QIDQ4636567

Benedikt Bollig

Publication date: 19 April 2018

Full work available at URL: https://arxiv.org/abs/1602.05940

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

observability one-counter automata inclusion checking strong automata visibly one-counter automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4636567&oldid=18819193"