The following pages link to (Q2754076):
Displayed 4 items.
- Backjumping for quantified Boolean logic satisfiability (Q814445) (← links)
- Relativizations for the logic-automata connection (Q815004) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)