Automata-Based Termination Proofs

Radu Iosif, Adam Rogalewicz. Automata-Based Termination Proofs. Computers and Artificial Intelligence, 32(4):739-775, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: