4 search results - page 1 / 1 » tphol 1996 |
TPHOL
1996
IEEE
13 years 8 months ago
1996
IEEE
TPHOL
1996
IEEE
13 years 8 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...
TPHOL
1996
IEEE
13 years 8 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 ...
TPHOL
1997
IEEE
13 years 9 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...