Proving Termination Through Conditional Termination

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54577-5_6 ◽

2017 ◽

pp. 99-117 ◽

Author(s):

Cristina Borralleras ◽

Marc Brockschmidt ◽

Daniel Larraz ◽

Albert Oliveras ◽

Enric Rodríguez-Carbonell ◽

...

Download Full-text