4 search results - page 1 / 1 » tphol 1996 |
75
Voted
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
69
Voted
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
82
Voted
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
104
Voted
TPHOL
1997
IEEE
15 years 2 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...