Ariya Isihara

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
Productivity of stream definitions. Theor. Comput. Sci. 411 (4-5) (2010)
Ariya Isihara
Hydra Games and Tree Ordinals. WoLLIC (2007)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
Productivity of Stream Definitions. FCT (2007)