Gianni Ciolli

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Gianni Ciolli, Graziano Gentili, Marco Maggesi
A Certified Proof of the Cartan Fixed Point Theorems. J. Autom. Reason. 47 (3) (2011)