Pages that link to "Item:Q2889572"
From MaRDI portal
The following pages link to Modular termination of basic narrowing and equational unification (Q2889572):
Displaying 6 items.
- Termination of narrowing revisited (Q1035697) (← links)
- Basic narrowing revisited (Q1824412) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- (Q5094148) (← links)