A Theory of Restrictions for Logics and Automata
Abstract elided by the publisher.
Related papers
- Second-Order Hyperproperties CAV 2023
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Advanced automata minimization POPL 2013
- Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram APLAS 2001
- Logic Programming and Logarithmic Space APLAS 2014
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- Learning formulas in finite variable logics POPL 2022