 | 2009 |
|---|
| 12 |       | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity.
CADE 2009: 371-387 |
| 11 | | Jörg Endrullis,
Dimitri Hendriks:
From Outermost to Context-Sensitive Rewriting.
RTA 2009: 305-319 |
| 10 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity
CoRR abs/0903.4366: (2009) |
| 2008 |
|---|
| 9 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity.
LPAR 2008: 79-96 |
| 8 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Jan Willem Klop,
Roel C. de Vrijer:
Proving Infinitary Normalization.
TYPES 2008: 64-82 |
| 7 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity
CoRR abs/0806.2680: (2008) |
| 6 | | Marc Bezem,
Dimitri Hendriks:
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.
J. Autom. Reasoning 40(1): 61-85 (2008) |
| 2007 |
|---|
| 5 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Ariya Isihara,
Jan Willem Klop:
Productivity of Stream Definitions.
FCT 2007: 274-287 |
| 2003 |
|---|
| 4 | | Dimitri Hendriks,
Vincent van Oostrom:
adbmal
CADE 2003: 136-150 |
| 2002 |
|---|
| 3 |  | Marc Bezem,
Dimitri Hendriks,
Hans de Nivelle:
Automated Proof Construction in Type Theory Using Resolution.
J. Autom. Reasoning 29(3-4): 253-275 (2002) |
| 2 | | Dimitri Hendriks:
Proof Reflection in Coq.
J. Autom. Reasoning 29(3-4): 277-307 (2002) |
| 2000 |
|---|
| 1 | | Marc Bezem,
Dimitri Hendriks,
Hans de Nivelle:
Automated Proof Construction in Type Theory Using Resolution.
CADE 2000: 148-163 |
