Publication:5275367
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2015.192zbMath1366.68130MaRDI QIDQ5275367
Mohamed Faouzi Atig, Mehdi Salehi, Roland Meyer, Parosh Aziz Abdulla
Publication date: 13 July 2017
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Bounded Context Switching for Valence Systems, The algebraic theory of Parikh automata, Enforcing Availability in Failure-Aware Communicating Systems, Model-Checking Counting Temporal Logics on Flat Structures