Pages that link to "Item:Q6169563"
From MaRDI portal
The following pages link to Model-theoretic aspects of unification (Q6169563):
Displaying 9 items.
- Instantiation theory. On the foundations of automated deduction (Q1202066) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects (Q1702980) (← links)
- Unification: a multidisciplinary survey (Q3833654) (← links)
- (Q4217942) (← links)
- Unification through projectivity (Q4381867) (← links)
- Inner Models of Univalence (Q5145271) (← links)
- Automata, Languages and Programming (Q5466538) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)