José Iborra

Available identifiers

zbMath Open iborra.joseMaRDI QIDQ1035696

List of research outcomes

Publication	Date of Publication	Type
Relative termination via dependency pairs	2017-06-29	Paper
Reducing Relative Termination to Dependency Pair Problems	2015-12-02	Paper
Proving termination of context-sensitive rewriting with MU-TERM	2013-12-20	Paper
Modular termination of basic narrowing and equational unification	2012-06-08	Paper
A compact fixpoint semantics for term rewriting systems	2010-08-24	Paper
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing	2010-05-04	Paper
Termination of narrowing revisited	2009-11-04	Paper
Termination of Narrowing Using Dependency Pairs	2009-01-22	Paper
Modular Termination of Basic Narrowing	2008-08-28	Paper

Research outcomes over time

This page was built for person: José Iborra