Idempotent Relations in Isabelle/HOL.

Florian Kammüller Jeff W. Sanders

Published in: ICTAC (2004)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
first order logic
higher order logic
semantic relations
formal methods