Home > Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings > Cardinalities of Finite Relations in Coq
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings |
Springer International Publishing
Cardinalities of Finite Relations in Coq
Chapter Info
Authors
ARI Id
1664720922207_2917844
Access
Not Available Free
Pages
466-474
DOI
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-319-43144-4_29
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...