Pages that link to "Item:Q1949086"
From MaRDI portal
The following pages link to Superposition as a decision procedure for timed automata (Q1949086):
Displaying 8 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)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← 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)
