Login / Signup
Characterization of complexity classes in higher-order logic.
Daniel Leivant
Published in:
Computational Complexity Conference (1987)
Keyphrases
</>
higher order logic
higher order
tractable cases
complexity measures
theorem prover
conditional logic
computational complexity
general purpose
logical framework