 | 2009 |
|---|
| 13 |       | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity.
CADE 2009: 371-387 |
| 12 | | Jörg Endrullis,
Herman Geuvers,
Hans Zantema:
Degrees of Undecidability in Term Rewriting.
CSL 2009: 255-270 |
| 11 | | Jörg Endrullis,
Roel C. de Vrijer,
Johannes Waldmann:
Local Termination.
RTA 2009: 270-284 |
| 10 | | Jörg Endrullis,
Dimitri Hendriks:
From Outermost to Context-Sensitive Rewriting.
RTA 2009: 305-319 |
| 9 | | Jörg Endrullis,
Herman Geuvers,
Hans Zantema:
Degrees of Undecidability in Rewriting
CoRR abs/0902.4723: (2009) |
| 8 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity
CoRR abs/0903.4366: (2009) |
| 2008 |
|---|
| 7 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity.
LPAR 2008: 79-96 |
| 6 | | Jörg Endrullis,
Roel C. de Vrijer:
Reduction Under Substitution.
RTA 2008: 425-440 |
| 5 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Jan Willem Klop,
Roel C. de Vrijer:
Proving Infinitary Normalization.
TYPES 2008: 64-82 |
| 4 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity
CoRR abs/0806.2680: (2008) |
| 3 | | Jörg Endrullis,
Johannes Waldmann,
Hans Zantema:
Matrix Interpretations for Proving Termination of Term Rewriting.
J. Autom. Reasoning 40(2-3): 195-220 (2008) |
| 2007 |
|---|
| 2 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Ariya Isihara,
Jan Willem Klop:
Productivity of Stream Definitions.
FCT 2007: 274-287 |
| 2006 |
|---|
| 1 | | Jörg Endrullis,
Johannes Waldmann,
Hans Zantema:
Matrix Interpretations for Proving Termination of Term Rewriting.
IJCAR 2006: 574-588 |
