4573 search results - page 193 / 915 » Automated Reasoning |
147
click to vote
TPHOL
1996
IEEE
15 years 10 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...
150
click to vote
LICS
1992
IEEE
15 years 10 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
148
click to vote
CSL
1990
Springer
15 years 10 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.
134
click to vote
ELP
1989
15 years 10 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...