ML Anthology

Lescanne, Pierre

1 publications

IJCAI 1981 Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems Pierre Lescanne