Pages that link to "Item:Q5747749"
From MaRDI portal
The following pages link to On Hierarchical Reasoning in Combinations of Theories (Q5747749):
Displayed 7 items.
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Hierarchical Reasoning for the Verification of Parametric Systems (Q5747759) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)