Similar Items: Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
- Set-like operations on propositional logic programs
- Knowledge Compilation for Quantification in Alternating Automata
- Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
- A Logic of Inability