ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Decreasing Diagrams and Relative Termination
Automated Reasoning - Lecture Notes in Computer Science
◽
10.1007/978-3-642-14203-1_41
◽
2010
◽
pp. 487-501
◽
Cited By ~ 1
Author(s):
Nao Hirokawa
◽
Aart Middeldorp
Keyword(s):
Relative Termination
Download Full-text
Related Documents
Cited By
References
The Relative Termination Experience of Adjustable to Fixed-Rate Mortgages
The Journal of Finance
◽
10.1111/j.1540-6261.1990.tb03737.x
◽
1990
◽
Vol 45
(5)
◽
pp. 1687-1703
◽
Cited By ~ 66
Author(s):
DONALD F. CUNNINGHAM
◽
CHARLES A. CAPONE
Keyword(s):
Fixed Rate
◽
Relative Termination
Download Full-text
Confluence of Non-Left-Linear TRSs via Relative Termination
Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
◽
10.1007/978-3-642-28717-6_21
◽
2012
◽
pp. 258-273
◽
Cited By ~ 9
Author(s):
Dominik Klein
◽
Nao Hirokawa
Keyword(s):
Relative Termination
Download Full-text
Decreasing Diagrams and Relative Termination
Journal of Automated Reasoning
◽
10.1007/s10817-011-9238-x
◽
2011
◽
Vol 47
(4)
◽
pp. 481-501
◽
Cited By ~ 12
Author(s):
Nao Hirokawa
◽
Aart Middeldorp
Keyword(s):
Relative Termination
Download Full-text
Reducing Relative Termination to Dependency Pair Problems
Automated Deduction - CADE-25 - Lecture Notes in Computer Science
◽
10.1007/978-3-319-21401-6_11
◽
2015
◽
pp. 163-178
◽
Cited By ~ 1
Author(s):
José Iborra
◽
Naoki Nishida
◽
Germán Vidal
◽
Akihisa Yamada
Keyword(s):
Dependency Pair
◽
Relative Termination
Download Full-text
Relative Termination via Dependency Pairs
Journal of Automated Reasoning
◽
10.1007/s10817-016-9373-5
◽
2016
◽
Vol 58
(3)
◽
pp. 391-411
Author(s):
José Iborra
◽
Naoki Nishida
◽
Germán Vidal
◽
Akihisa Yamada
Keyword(s):
Dependency Pairs
◽
Relative Termination
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close