Sciweavers

22 search results - page 1 / 5
» tphol 2009
Sort
View
TPHOL
2009
IEEE
13 years 10 months ago
HOL Light: An Overview
John Harrison
TPHOL
2009
IEEE
13 years 10 months ago
Without Loss of Generality
John Harrison
TPHOL
2009
IEEE
13 years 10 months ago
Formalizing the Logic-Automaton Connection
Stefan Berghofer, Markus Reiter
TPHOL
2009
IEEE
13 years 10 months ago
Packaging Mathematical Structures
François Garillot, Georges Gonthier, Assia ...