Dimitri Hendriks

Available identifiers

zbMath Open hendriks.dimitriMaRDI QIDQ549187

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4584900	2018-09-04	Paper
Regularity Preserving but Not Reflecting Encodings	2018-04-23	Paper
On periodically iterated morphisms	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4600775	2018-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277876	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 Boehm 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
Automated Deduction – CADE-19	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