Yasuo Isogai

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems CoRR (2011)
Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui
Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems. IEICE Trans. Inf. Syst. (10) (2009)