A Logical Characterization of Small 2NFAs

DOI10.1007/978-3-319-40946-7_14zbMath1379.68225MaRDI QIDQ2830217

Christos A. Kapoutsis, Lamana Mulaffer

Publication date: 9 November 2016

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40946-7_14

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B70: Logic in computer science

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

68Q19: Descriptive complexity and finite models