Clemens Grabmayer

	2012
20		Marc Bezem, Clemens Grabmayer, Michal Walicki: Expressive power of digraph solvability. Ann. Pure Appl. Logic 163(3): 200-213 (2012)
19		Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss: Automatic Sequences and Zip-Specifications CoRR abs/1201.3251: (2012)
	2011
18		Jan Rochel, Clemens Grabmayer: Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) TERMGRAPH 2011: 85-100
17		Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom: On equal μ-terms. Theor. Comput. Sci. 412(28): 3175-3202 (2011)
	2010
16		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
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, Clemens Grabmayer, Dimitri Hendriks: Complexity of Fractran and Productivity CoRR abs/0903.4366: (2009)
12		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop: Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting CoRR abs/0911.1009: (2009)
11		Clemens Grabmayer: From Abstract Rewriting Systems to Abstract Proof Systems CoRR abs/0911.1412: (2009)
	2008
10		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Data-Oblivious Stream Productivity. LPAR 2008: 79-96
9		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer: Proving Infinitary Normalization. TYPES 2008: 64-82
8		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Data-Oblivious Stream Productivity CoRR abs/0806.2680: (2008)
	2007
7		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop: Productivity of Stream Definitions. FCT 2007: 274-287
6		Clemens Grabmayer: A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. Electr. Notes Theor. Comput. Sci. 72(1): 59-74 (2007)
5		Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer: A characterization of regular expressions under bisimulation. J. ACM 54(2): (2007)
4		Clemens Grabmayer: A duality between proof systems for cyclic term graphs. Mathematical Structures in Computer Science 17(3): 439-484 (2007)
	2006
3		Clemens Grabmayer, Jan Willem Klop, Bas Luttik: Some Remarks on Definability of Process Graphs. CONCUR 2006: 16-36
2		Clemens Grabmayer, Jan Willem Klop, Bas Luttik: Reflections on a Geometry of Processes. Electr. Notes Theor. Comput. Sci. 162: 183-190 (2006)
	2005
1		Clemens Grabmayer: Using Proofs by Coinduction to Find "Traditional" Proofs. CALCO 2005: 175-193

Coauthor Index

1	Jos C. M. Baeten	[5]
2	Marc Bezem	[20]
3	Flavio Corradini	[5]
4	Jörg Endrullis	[7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [19]
5	Dimitri Hendriks	[7] [8] [9] [10] [12] [13] [14] [15] [16] [19]
6	Ariya Isihara	[7] [15]
7	Jan Willem Klop	[2] [3] [7] [9] [12] [15] [16] [17] [19]
8	Bas Luttik (S. P. Luttik)	[2] [3]
9	Lawrence S. Moss	[19]
10	Vincent van Oostrom	[16] [17]
11	Jan Rochel	[18]
12	Roel C. de Vrijer	[9]
13	Michal Walicki	[20]

Colors in the list of coauthors

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