Dimitri Hendriks

Identifiers

• name variant Dimitri Hendriks 0.60 · backfill

Papers (16)

1. Universality of Univariate Mixed Fractions in Divisive Meadows math.RA · 2017 · author #3
2. Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic cs.LO · 2017 · author #3
3. The Degree of Squares is an Atom (Extended Version) cs.FL · 2015 · author #3
4. A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) cs.LO · 2015 · author #3
5. Regularity Preserving but not Reflecting Encodings cs.FL · 2015 · author #3
6. An Introduction to the Clocked Lambda Calculus cs.LO · 2014 · author #2
7. A Coinductive Treatment of Infinitary Rewriting cs.LO · 2013 · author #3
8. On Periodically Iterated Morphisms cs.FL · 2012 · author #2
9. On the Complexity of Equivalence of Specifications of Infinite Objects cs.LO · 2012 · author #2
10. Arithmetic Self-Similarity of Infinite Sequences math.CO · 2012 · author #1
11. Automatic Sequences and Zip-Specifications cs.LO · 2012 · author #3
12. Modular Construction of Fixed Point Combinators and Clocked Boehm Trees cs.LO · 2010 · author #2
13. Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting cs.LO · 2009 · author #3
14. Let's Make a Difference! cs.DM · 2009 · author #2
15. Complexity of Fractran and Productivity cs.LO · 2009 · author #3
16. Data-Oblivious Stream Productivity cs.LO · 2008 · author #3

Mentions

• 1506.00884 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 1505.01128 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 1501.04835 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 1405.7500 #2 · backfill · confidence 0.70 Dimitri Hendriks
• 1306.6224 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 1207.2336 #2 · backfill · confidence 0.70 Dimitri Hendriks
• 1207.0158 #2 · backfill · confidence 0.70 Dimitri Hendriks
• 1201.3786 #1 · backfill · confidence 0.70 Dimitri Hendriks
• 1201.3251 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 1002.2578 #2 · backfill · confidence 0.70 Dimitri Hendriks
• 0911.1009 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 0911.1004 #2 · backfill · confidence 0.70 Dimitri Hendriks
• 0903.4366 #3 · backfill · confidence 0.70 Dimitri Hendriks
• 0806.2680 #3 · backfill · confidence 0.70 Dimitri Hendriks

Frequent Coauthors

• Joerg Endrullis 10 shared papers
• Clemens Grabmayer 6 shared papers
• Jan Willem Klop 6 shared papers
• J\"org Endrullis 5 shared papers
• Andrew Polonsky 4 shared papers
• Alexandra Silva 3 shared papers
• Helle Hvid Hansen 3 shared papers
• Frits G. W. Dannenberg 1 shared papers
• Hans Zantema 1 shared papers
• Inge Bethke 1 shared papers
• Jan A. Bergstra 1 shared papers
• Lawrence S. Moss 1 shared papers
• Mark Dow 1 shared papers
• Rena Bakhshi 1 shared papers