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