8141 search results - page 55 / 1629 » Higher Order Generalization |
WADT
1999
Springer
14 years 3 months ago
1999
Springer
TPHOL
1998
IEEE
14 years 3 months ago
1998
IEEE
CADE
1998
Springer
14 years 3 months ago
1998
Springer
FSTTCS
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
FTP
1998
Springer
14 years 3 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