Jeroen Ketema

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reinterpreting compression in infinitary rewriting	2020-05-27	Paper
Computing with Infinite Terms and Infinite Reductions Fundamenta Informaticae	2020-01-22	Paper
Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus ACM Transactions on Computational Logic	2015-09-17	Paper
A sound and complete abstraction for reasoning about parallel prefix sums Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	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 Programming Languages and Systems	2013-08-05	Paper
Counterexamples in infinitary rewriting with non-fully-extended rules Information Processing Letters	2013-04-04	Paper
Characterizing languages by normalization and termination in string rewriting (extended abstract) Developments in Language Theory	2012-11-02	Paper
Rational term rewriting revisited: decidability and confluence Lecture Notes in Computer Science	2012-10-02	Paper
Anagopos: a reduction graph visualizer for term rewriting and lambda calculus	2012-04-24	Paper
Infinitary combinatory reduction systems Information and Computation	2011-07-08	Paper
Infinitary combinatory reduction systems: normalising reduction strategies Logical Methods in Computer Science	2010-07-27	Paper
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and \(\lambda \)-calculus Functional and Logic Programming	2010-05-04	Paper
Infinitary combinatory reduction systems: confluence Logical Methods in Computer Science	2010-01-28	Paper
Comparing Böhm-Like Trees Rewriting Techniques and Applications	2009-06-30	Paper
Rewriting Techniques and Applications Lecture Notes in Computer Science	2009-04-30	Paper
On Normalisation of Infinitary Combinatory Reduction Systems Rewriting Techniques and Applications	2008-08-28	Paper
On Confluence of Infinitary Combinatory Reduction Systems Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Term Rewriting and Applications Lecture Notes in Computer Science	2005-11-11	Paper

Research outcomes over time

This page was built for person: Jeroen Ketema