| |
| 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] |