SCT and the idempotence condition
Résumé
These notes show how to get rid of the idempotence condition (G=G;G) in (delta)-Size Change Termination.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...