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
On periodically iterated morphisms	2018-04-23	Paper
Regularity Preserving but Not Reflecting Encodings	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
https://portal.mardi4nfdi.de/entity/Q2855523	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

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: Dimitri Hendriks