Embedding of Systems of Affine Recurrence Equations in Coq (0)

by D CACHERA, D PICHARDIE
Venue:in "Proc. of 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’03)", Lecture Notes in Computer Science