Pages that link to "Item:Q1949086"
From MaRDI portal
The following pages link to Superposition as a decision procedure for timed automata (Q1949086):
Displayed 6 items.
- Superposition decides the first-order logic fragment over ground theories (Q1949088) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- A complete and terminating approach to linear integer solving (Q2307624) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)