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 λ-calculus	2015-09-17	Paper
A sound and complete abstraction for reasoning about parallel prefix sums	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2849583	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849584	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	2012-11-02	Paper
Rational Term Rewriting Revisited: Decidability and Confluence	2012-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q5389073	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 λ-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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jeroen Ketema