scholarly journals Reducing Relative Termination to Dependency Pair Problems

2015 ◽  
pp. 163-178 ◽  
Author(s):  
José Iborra ◽  
Naoki Nishida ◽  
Germán Vidal ◽  
Akihisa Yamada
Keyword(s):  
Dependency Pair ◽  
Relative Termination

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
Sign in / Sign up

Export Citation Format

Share Document