Well-foundedness of the Recursive Path Ordering in Coq

N. de Kleijn, A. Koprowski, F. van Raamsdonk

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the Dutch Proof Tools Day 2004
Publication statusPublished - 2004

Bibliographical note

ptd2004

Cite this