Dimitri Hendriks

Available identifiers

zbMath Open hendriks.dimitriMaRDI QIDQ549187

List of research outcomes

Publication	Date of Publication	Type
Streams are forever	2018-09-04	Paper
Regularity preserving but not reflecting encodings	2018-04-23	Paper
On periodically iterated morphisms	2018-04-23	Paper
Coinductive foundations of infinitary rewriting and infinitary equational logic	2018-01-12	Paper
A coinductive framework for infinitary rewriting and equational reasoning	2017-07-12	Paper
Universality of Univariate Mixed Fractions in Divisive Meadows	2017-07-03	Paper
Clocked lambda calculus	2017-06-14	Paper
Automatic sequences and zip-specifications	2017-05-16	Paper
The degree of squares is an atom	2015-11-04	Paper
On the complexity of stream equality	2014-08-14	Paper
On the complexity of equivalence of specifications of infinite objects	2014-07-21	Paper
Discriminating lambda-terms using clocked Böhm trees	2014-06-10	Paper
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples	2014-06-10	Paper
Clocks for Functional Programs	2014-04-16	Paper
Degrees of streams	2013-10-25	Paper
Circular coinduction in Coq using bisimulation-up-to techniques	2013-08-07	Paper
Mix-automatic sequences	2013-03-18	Paper
Highlights in infinitary rewriting and lambda calculus	2013-01-07	Paper
Unique normal forms in infinitary weakly orthogonal rewriting	2012-04-25	Paper
Arithmetic Self-Similarity of Infinite Sequences	2012-01-18	Paper
Lazy productivity via termination	2011-07-07	Paper
Transforming Outermost into Context-Sensitive Rewriting	2010-07-27	Paper
\(\rightthreetimes\)	2010-04-20	Paper
Productivity of stream definitions	2010-02-09	Paper
Complexity of Fractran and Productivity	2009-07-28	Paper
Proving Infinitary Normalization	2009-07-02	Paper
From Outermost to Context-Sensitive Rewriting	2009-06-30	Paper
Data-Oblivious Stream Productivity	2009-01-27	Paper
Productivity of Stream Definitions	2008-02-26	Paper
On the mechanization of the proof of Hessenberg's theorem in coherent logic	2008-02-18	Paper
Automated proof construction in type theory using resolution	2003-04-27	Paper
Proof reflection in Coq	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q2723415	2001-07-05	Paper

Research outcomes over time

This page was built for person: Dimitri Hendriks