págs. 679-682
págs. 683-714
págs. 715-729
págs. 731-761
págs. 763-793
págs. 795-825
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
págs. 827-859
págs. 861-882
págs. 883-911
págs. 913-942
© 2001-2024 Fundación Dialnet · Todos los derechos reservados