Well-foundedness of the Recursive Path Ordering in Coq
| Autor: | de Kleijn, N., Koprowski, A., van Raamsdonk, F. |
|---|---|
| Přispěvatelé: | Theoretical Computer Science |
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Zdroj: | de Kleijn, N, Koprowski, A & van Raamsdonk, F 2004, Well-foundedness of the Recursive Path Ordering in Coq . in Proceedings of the Dutch Proof Tools Day 2004 . Proceedings of the Dutch Proof Tools Day 2004 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|