The following pages link to José Iborra (Q1035696):
Displayed 10 items.
- (Q987980) (redirect page) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963) (← links)
- Modular termination of basic narrowing and equational unification (Q2889572) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (Q3558285) (← links)
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)