Jeroen Ketema

	2009
8		Jeroen Ketema: Comparing Böhm-Like Trees. RTA 2009: 239-254
7		Jeroen Ketema, Jakob Grue Simonsen: Infinitary Combinatory Reduction Systems: Confluence CoRR abs/0910.4081: (2009)
	2008
6		Jeroen Ketema: On Normalisation of Infinitary Combinatory Reduction Systems. RTA 2008: 172-186
	2005
5		Jeroen Ketema, Jakob Grue Simonsen: On Confluence of Infinitary Combinatory Reduction Systems. LPAR 2005: 199-214
4		Jeroen Ketema, Jakob Grue Simonsen: Infinitary Combinatory Reduction Systems. RTA 2005: 438-452
3		Jeroen Ketema: Some Undecidable Approximations of TRSs. Electr. Notes Theor. Comput. Sci. 124(2): 51-63 (2005)
2		Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom: Vicious Circles in Orthogonal Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 124(2): 65-77 (2005)
	2004
1		Jeroen Ketema: Böhm-Like Trees for Term Rewriting Systems. RTA 2004: 233-248

Coauthor Index

1	Jan Willem Klop	[2]
2	Vincent van Oostrom	[2]
3	Jakob Grue Simonsen	[4] [5] [7]

Colors in the list of coauthors