Mechanizing CSP Trace Theory in Higher Order Logic.

Albert John Camilleri

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

higher order logic
higher order
logical framework
conditional logic
theorem prover
constraint satisfaction problems
constraint propagation
artificial intelligence
decision trees