The following pages link to (Q4524788):
Displaying 4 items.
- Generalizations of unification (Q1322773) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)