7 citations · 15 across the 11 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 7 cited
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…
cs.LO2012★ 2 cited
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…