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

Joseph Tassarotti Ralf Jung Robert Harper

Published in: ESOP (2017)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
automated reasoning
default reasoning
feature extraction
data representation
rewrite systems
similarity measure
relational databases
description logics
first order logic
belief revision