| 2009 |
|---|
| 9 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity
CoRR abs/0903.4366: (2009) |
| 2008 |
|---|
| 8 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity.
LPAR 2008: 79-96 |
| 7 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity
CoRR abs/0806.2680: (2008) |
| 6 | EE | 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 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Ariya Isihara,
Jan Willem Klop:
Productivity of Stream Definitions.
FCT 2007: 274-287 |
| 2003 |
|---|
| 4 | EE | 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 |
