The following pages link to Dimitri Hendriks (Q549187):
Displayed 33 items.
- Lazy productivity via termination (Q549188) (← links)
- Productivity of stream definitions (Q846366) (← links)
- Automated proof construction in type theory using resolution (Q1868508) (← links)
- Proof reflection in Coq (Q1868509) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- On the mechanization of the proof of Hessenberg's theorem in coherent logic (Q2471743) (← links)
- (Q2723415) (← links)
- (Q2855523) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Automatic Sequences and Zip-Specifications (Q2986809) (← links)
- The Degree of Squares is an Atom (Q3449362) (← links)
- Transforming Outermost into Context-Sensitive Rewriting (Q3575304) (← links)
- From Outermost to Context-Sensitive Rewriting (Q3636831) (← links)
- Proving Infinitary Normalization (Q3638246) (← links)
- (Q4584900) (← links)
- (Q4600775) (← links)
- On periodically iterated morphisms (Q4635624) (← links)
- Regularity Preserving but Not Reflecting Encodings (Q4635834) (← links)
- Mix-Automatic Sequences (Q4910464) (← links)
- On the complexity of equivalence of specifications of infinite objects (Q5168890) (← links)
- Complexity of Fractran and Productivity (Q5191114) (← links)
- Clocked lambda calculus (Q5269007) (← links)
- (Q5277876) (← links)
- Circular Coinduction in Coq Using Bisimulation-Up-To Techniques (Q5327356) (← links)
- Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (Q5389137) (← links)
- Clocks for Functional Programs (Q5410452) (← links)
- Discriminating Lambda-Terms Using Clocked Boehm Trees (Q5419488) (← links)
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples (Q5419491) (← links)
- Productivity of Stream Definitions (Q5444967) (← links)
- Data-Oblivious Stream Productivity (Q5505544) (← links)
- Automated Deduction – CADE-19 (Q5900715) (← links)
- Arithmetic Self-Similarity of Infinite Sequences (Q6230337) (← links)
- Universality of Univariate Mixed Fractions in Divisive Meadows (Q6288579) (← links)