40 citations · 100 across the 19 of their papers we have counts for
20 papers
Universality of Univariate Mixed Fractions in Divisive Meadows
Jan A. Bergstra, Inge Bethke, Dimitri Hendriks
Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform, coinductive way. The setup capture…
The Degree of Squares is an Atom (Extended Version)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks +1
We answer an open question in the theory of degrees of infinite sequences with respect to transducibility by finite-state transducers. An initial study of this partial order of deg…
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
We present a coinductive framework for defining infinitary analogues of equational reasoning and rewriting in a uniform way. We define the relation =^infty, notion of infinitary eq…
Regularity Preserving but not Reflecting Encodings
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Encodings, that is, injective functions from words to words, have been studied extensively in several settings. In computability theory the notion of encoding is crucial for defini…
An Introduction to the Clocked Lambda Calculus
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop +1
We give a brief introduction to the clocked lambda calculus, an extension of the classical lambda calculus with a unary symbol tau used to witness the beta-steps. In contrast to th…