Pages that link to "Item:Q1202066"
From MaRDI portal
The following pages link to Instantiation theory. On the foundations of automated deduction (Q1202066):
Displayed 4 items.
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- An algebraic theory of structured objects (Q1377554) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- A simple abstract semantics for equational theories (Q5055883) (← links)