Jeroen Ketema

Available identifiers

zbMath Open ketema.jeroenMaRDI QIDQ550247

List of research outcomes

Publication	Date of Publication	Type
Reinterpreting compression in infinitary rewriting	2020-05-27	Paper
Computing with Infinite Terms and Infinite Reductions	2020-01-22	Paper
Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus	2015-09-17	Paper
A sound and complete abstraction for reasoning about parallel prefix sums	2014-04-10	Paper
Some undecidable approximations of TRSs	2013-09-20	Paper
Vicious circles in orthogonal term rewriting systems	2013-09-20	Paper
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels	2013-08-05	Paper
Counterexamples in infinitary rewriting with non-fully-extended rules	2013-04-04	Paper
Characterizing languages by normalization and termination in string rewriting (extended abstract)	2012-11-02	Paper
Rational term rewriting revisited: decidability and confluence	2012-10-02	Paper
Anagopos: a reduction graph visualizer for term rewriting and lambda calculus	2012-04-24	Paper
Infinitary combinatory reduction systems	2011-07-08	Paper
Infinitary combinatory reduction systems: normalising reduction strategies	2010-07-27	Paper
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and \(\lambda \)-calculus	2010-05-04	Paper
Infinitary combinatory reduction systems: confluence	2010-01-28	Paper
Comparing Böhm-Like Trees	2009-06-30	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
On Normalisation of Infinitary Combinatory Reduction Systems	2008-08-28	Paper
On Confluence of Infinitary Combinatory Reduction Systems	2008-05-27	Paper
Term Rewriting and Applications	2005-11-11	Paper

Research outcomes over time

This page was built for person: Jeroen Ketema