Furio Honsell profile picture

Furio Honsell

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Types for Proofs and Programs International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Curiosità e divertimenti con i numeri tratti dal De viribus quantitatis di Luca Pacioli
Frontiers of Fundamental Physics Proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004
Frontiers of Fundamental Physics Proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004
Frontiers of Fundamental and Computational Physics 9th International Symposium