86
Voted
ELP
15 years 7 months ago
1989  102
Voted
ELP
15 years 8 months ago
1989  116
click to vote
REX
15 years 8 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
106
Voted
ELP
15 years 8 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...
103
Voted
ELP
15 years 8 months ago
1989 |
Logical Reasoning