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 The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

2018 ◽  
Vol 96 ◽  
pp. 74-106 ◽  
Author(s):  
Salvador Lucas ◽  
José Meseguer ◽  
Raúl Gutiérrez
Keyword(s):  
Rewrite Systems ◽  
Dependency Pair

scholarly journals Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

2009 ◽  
Vol E92-D (2) ◽  
pp. 235-247 ◽  
Author(s):  
Keiichirou KUSAKARI ◽  
Masahiko SAKAI
Keyword(s):  
Term Rewriting ◽  
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