Dimitri Hendriks

	2012
21		Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss: Automatic Sequences and Zip-Specifications CoRR abs/1201.3251: (2012)
	2011
20		Jörg Endrullis, Dimitri Hendriks: Lazy productivity via termination. Theor. Comput. Sci. 412(28): 3203-3225 (2011)
	2010
19		Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop: Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. LICS 2010: 111-119
18		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom: Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. RTA 2010: 85-102
17		Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop: Modular Construction of Fixed Point Combinators and Clocked Boehm Trees CoRR abs/1002.2578: (2010)
16		Jörg Endrullis, Dimitri Hendriks: Transforming Outermost into Context-Sensitive Rewriting Logical Methods in Computer Science 6(2): (2010)
15		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop: Productivity of stream definitions. Theor. Comput. Sci. 411(4-5): 765-782 (2010)
	2009
14		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Complexity of Fractran and Productivity. CADE 2009: 371-387
13		Jörg Endrullis, Dimitri Hendriks: From Outermost to Context-Sensitive Rewriting. RTA 2009: 305-319
12		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Complexity of Fractran and Productivity CoRR abs/0903.4366: (2009)
11		Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop: Let's Make a Difference! CoRR abs/0911.1004: (2009)
10		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop: Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting CoRR abs/0911.1009: (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

Coauthor Index

1	Marc Bezem	[1] [3] [6]
2	Jörg Endrullis	[5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]
3	Clemens Grabmayer	[5] [7] [8] [9] [10] [12] [14] [15] [18] [21]
4	Ariya Isihara	[5] [15]
5	Jan Willem Klop	[5] [8] [10] [11] [15] [17] [18] [19] [21]
6	Lawrence S. Moss	[21]
7	Hans de Nivelle	[1] [3]
8	Vincent van Oostrom	[4] [18]
9	Roel C. de Vrijer	[8]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page