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

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 |