Pages that link to "Item:Q5545955"
From MaRDI portal
The following pages link to The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary (Q5545955):
Displayed 9 items.
- Detecting induced minors in AT-free graphs (Q390909) (← links)
- Capturing complexity classes by fragments of second-order logic (Q1193408) (← links)
- Complete rings of sets and sentential logic (Q1237719) (← links)
- The computational complexity of propositional STRIPS planning (Q1337679) (← links)
- Digraph width measures in parameterized algorithmics (Q2442211) (← links)
- Conservative reduction classes of Krom formulas (Q3947642) (← links)
- Prefix classes of Krom formulas (Q4090321) (← links)
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927) (← links)
- The decision problem for formulas in prenex conjunctive normal form with binary disjunctions (Q5607225) (← links)