Ariya Isihara

Productivity of stream definitions (2008)

Endrullis, Jörg, Grabmayer, Clemens, Hendriks, D., Isihara, Ariya, Klop, J.W.

We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive’ if it can be evaluated continually in such...

Productivity of Stream Definitions (2007)

Endrullis, Jörg, Grabmayer, Clemens, Hendriks, Dimitri, Isihara, Ariya, Klop, Jan

We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive’ if it can be evaluated continuously in such...

Hydra Games and Tree Ordinals (2007)

Isihara, Ariya

Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of ε 0. Tree ordinals are a...

Productivity of Stream Definitions (2007)

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara

We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive ’ if it can be evaluated continually in such...