Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

2009 ◽  
pp. 117-132 ◽  
Author(s):  
Takahito Aoto ◽  
Toshiyuki Yamada
Keyword(s):  
Dependency Pairs

scholarly journals Termination Analysis by Dependency Pairs and Inductive Theorem Proving

2009 ◽  
pp. 322-338 ◽  
Author(s):  
Stephan Swiderski ◽  
Michael Parting ◽  
Jürgen Giesl ◽  
Carsten Fuhs ◽  
Peter Schneider-Kamp
Keyword(s):  
Theorem Proving ◽  
Termination Analysis ◽  
Inductive Theorem Proving ◽  
Dependency Pairs

scholarly journals Termination of term rewriting using dependency pairs

2000 ◽  
Vol 236 (1-2) ◽  
pp. 133-178 ◽  
Author(s):  
Thomas Arts ◽  
Jürgen Giesl
Keyword(s):  
Term Rewriting ◽  
Dependency Pairs

Verification of Erlang Processes by Dependency Pairs

2001 ◽  
Vol 12 (1-2) ◽  
pp. 39-72 ◽  
Author(s):  
Jürgen Giesl ◽  
Thomas Arts
Keyword(s):  
Dependency Pairs

scholarly journals Termination of Narrowing Using Dependency Pairs

2008 ◽  
pp. 317-331 ◽  
Author(s):  
María Alpuente ◽  
Santiago Escobar ◽  
José Iborra
Keyword(s):  
Dependency Pairs

scholarly journals Improving Context-Sensitive Dependency Pairs

2008 ◽  
pp. 636-651 ◽  
Author(s):  
Beatriz Alarcón ◽  
Fabian Emmes ◽  
Carsten Fuhs ◽  
Jürgen Giesl ◽  
Raúl Gutiérrez ◽  
...  
Keyword(s):  
Context Sensitive ◽  
Dependency Pairs
Sign in / Sign up

Export Citation Format

Share Document