A Higher-Order Logic for Concurrent Termination-Preserving Refinement.

Joseph Tassarotti Ralf Jung Robert Harper

Published in: CoRR (2017)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
default reasoning
knowledge base
general purpose
graphical models
belief revision
data representation
nonmonotonic reasoning
rewrite systems