Refinement Calculus, Lattices and Higher Order Logic.

Ralph-Johan Back

Published in: NATO ASI PDC (1992)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
data representation
default reasoning
pairwise
partial order
concept lattice