Yasuo Isogai

	2011
2		Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui: Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems CoRR abs/1109.5468: (2011)
	2009
1		Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui: Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems. IEICE Transactions 92-D(10): 2007-2015 (2009)

Coauthor Index

1	Frédéric Blanqui	[1] [2]
2	Keiichirou Kusakari	[1] [2]
3	Masahiko Sakai	[1] [2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page