You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
About the Formalization of Some Results by Chebyshev in Number Theory
|
---|---|
Chapter number | 2 |
Book title |
Types for Proofs and Programs
|
Published in |
Lecture notes in computer science, January 2009
|
DOI | 10.1007/978-3-642-02444-3_2 |
Book ISBNs |
978-3-64-202443-6, 978-3-64-202444-3
|
Authors |
Asperti, Andrea, Ricciotti, Wilmer, Andrea Asperti, Wilmer Ricciotti |