Login / Signup
Partiality and Recursion in Higher-Order Logic.
Lukasz Czajka
Published in:
FoSSaCS (2013)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
logical framework
complex objects
deductive databases
theorem proving
datalog programs
data representation
pairwise
nonmonotonic reasoning
default reasoning
general purpose
decision trees
automated reasoning
similarity measure