4617 search results - page 210 / 924 » Automation of Diagrammatic Reasoning |
142
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andr
241
click to vote
FTP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
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...
