Pages that link to "Item:Q2849490"
From MaRDI portal
The following pages link to Obtaining Finite Local Theory Axiomatizations via Saturation (Q2849490):
Displaying 4 items.
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Axiomatization of local-global principles for pp-formulas in spaces of orderings (Q1765103) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- Axiomization of passage from “local” structure to “global” object (Q4033508) (← links)