Pages that link to "Item:Q6169562"
From MaRDI portal
The following pages link to Algebraic and logical aspects of unification (Q6169562):
Displaying 11 items.
- Instantiation theory. On the foundations of automated deduction (Q1202066) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- On the logic of unification (Q1823935) (← links)
- Universal algebraic logic. Dedicated to the unity of science (Q2093497) (← links)
- Unification theories: examples and applications (Q2305953) (← links)
- Syntactic unification as a geometric operation in free modules over certain rings (Q2842592) (← links)
- First-order unification using variable-free relational algebra (Q2889575) (← links)
- (Q3204056) (← links)
- (Q3789063) (← links)
- Unification and Logarithmic Space (Q5170809) (← links)
- Model-theoretic aspects of unification (Q6169563) (← links)