dependency pairs
Recently Published Documents

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Relative Termination via Dependency Pairs

2016 ◽  
Vol 58 (3) ◽  
pp. 391-411
Author(s):  
José Iborra ◽  
Naoki Nishida ◽  
Germán Vidal ◽  
Akihisa Yamada
Keyword(s):  
Dependency Pairs ◽  
Relative Termination

scholarly journals Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs

2013 ◽  
Vol 51 (1) ◽  
pp. 27-56 ◽  
Author(s):  
Lars Noschinski ◽  
Fabian Emmes ◽  
Jürgen Giesl
Keyword(s):  
Term Rewriting ◽  
Dependency Pairs

Proving Termination by Dependency Pairs and Inductive Theorem Proving

2011 ◽  
Vol 47 (2) ◽  
pp. 133-160 ◽  
Author(s):  
Carsten Fuhs ◽  
Jürgen Giesl ◽  
Michael Parting ◽  
Peter Schneider-Kamp ◽  
Stephan Swiderski
Keyword(s):  
Theorem Proving ◽  
Inductive Theorem Proving ◽  
Dependency Pairs

scholarly journals SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

2010 ◽  
Vol 49 (1) ◽  
pp. 53-93 ◽  
Author(s):  
Michael Codish ◽  
Jürgen Giesl ◽  
Peter Schneider-Kamp ◽  
René Thiemann
Keyword(s):  
Sat Solving ◽  
Dependency Pairs ◽  
Termination Proofs ◽  
Recursive Path

scholarly journals Context-sensitive dependency pairs

2010 ◽  
Vol 208 (8) ◽  
pp. 922-968 ◽  
Author(s):  
Beatriz Alarcón ◽  
Raúl Gutiérrez ◽  
Salvador Lucas
Keyword(s):  
Context Sensitive ◽  
Dependency Pairs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document