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

Cached

Download Links

by David Cachera , David Pichardie
Venue:in « Proc. TPHOLs 2003, 16th International Conference on Theorem Proving in Higher Order Logics », series LNCS
Citations:3 - 1 self