Login / Signup
Decidable Bounded Quantification.
Giuseppe Castagna
Benjamin C. Pierce
Published in:
POPL (1994)
Keyphrases
</>
first order logic
data sets
transitive closure
plan existence
neural network
real world
expert systems
plan generation