M. Erascu and T. Jebelean. A Purely Logical Approach to Program Termination.
In: Proceedings of the 11th International Workshop on Termination, Peter Schneider-Kamp (ed.), Proceedings of Federated Logic Conference, Edinburgh, 9-21 July, 2010
ErascuJebeleanWSTFinal.pdf
—
PDF document,
131 KB (134152 bytes)