CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates : Interactive Theorem Proving and the Formalisation of Mathematics
In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Jg. 21 (2011), Heft 4, S. 827-859
Online
serialPeriodical
Zugriff:
Titel: |
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates : Interactive Theorem Proving and the Formalisation of Mathematics
|
---|---|
Autor/in / Beteiligte Person: | Blanqui, F. ; Koprowski, A. |
Link: | |
Zeitschrift: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Jg. 21 (2011), Heft 4, S. 827-859 |
Veröffentlichung: | 2011 |
Medientyp: | serialPeriodical |
ISSN: | 0960-1295 (print) |
Sonstiges: |
|