Pages that link to "Item:Q4916220"
From MaRDI portal
The following pages link to Combining Non-Stably Infinite Theories (Q4916220):
Displayed 5 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- Combining sets with cardinals (Q812443) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)