scholarly journals Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems

2009 ◽  
Vol E92-D (10) ◽  
pp. 2007-2015 ◽  
Author(s):  
Keiichirou KUSAKARI ◽  
Yasuo ISOGAI ◽  
Masahiko SAKAI ◽  
Frédéric BLANQUI
Keyword(s):  
Higher Order ◽  
Rewrite Systems ◽  
Pair Method ◽  
Dependency Pair

scholarly journals Automating the dependency pair method

2005 ◽  
Vol 199 (1-2) ◽  
pp. 172-199 ◽  
Author(s):  
Nao Hirokawa ◽  
Aart Middeldorp
Keyword(s):  
Pair Method ◽  
Dependency Pair

scholarly journals Argument Filterings and Usable Rules in Higher-order Rewrite Systems

2011 ◽  
Vol 4 ◽  
pp. 114-125 ◽  
Author(s):  
Sho Suzuki ◽  
Keiichirou Kusakari ◽  
Frédéric Blanqui
Keyword(s):  
Higher Order ◽  
Rewrite Systems
Sign in / Sign up

Export Citation Format

Share Document