Original language | English |
---|---|
Title of host publication | Proceedings of the Dutch Proof Tools Day 2004 |
Publication status | Published - 2004 |
Well-foundedness of the Recursive Path Ordering in Coq
N. de Kleijn, A. Koprowski, F. van Raamsdonk
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review