4573 search results - page 193 / 915 » Automated Reasoning |
113
Voted
TPHOL
1996
IEEE
15 years 7 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...
111
Voted
ICLP
1993
Springer
15 years 7 months ago
1993
Springer
116
Voted
LICS
1992
IEEE
15 years 7 months ago
1992
IEEE
The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schr
110
Voted
CSL
1990
Springer
15 years 7 months ago
1990
Springer
This is an attempt to simplify and justify the notions of deterministicand randomized reductions, an attempt to derive these notions from (more or less) rst principles.
101
Voted
ELP
1989
15 years 7 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...