7 citations · 15 across the 11 of their papers we have counts for
3 papers · 1 filter
Discriminating Lambda-Terms Using Clocked Boehm Trees
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop +1
As observed by Intrigila, there are hardly techniques available in the lambda-calculus to prove that two lambda-terms are not beta-convertible. Techniques employing the usual Boehm…
Arithmetic Self-Similarity of Infinite Sequences
Dimitri Hendriks, Frits G. W. Dannenberg, Joerg Endrullis +2
We define the arithmetic self-similarity (AS) of a one-sided infinite sequence sigma to be the set of arithmetic progressions through sigma which are a vertical shift of sigma. We…
Automatic Sequences and Zip-Specifications
Clemens Grabmayer, Joerg Endrullis, Dimitri Hendriks +2
We consider infinite sequences of symbols, also known as streams, and the decidability question for equality of streams defined in a restricted format. This restricted format consi…