Login / Signup
A Termination Checker for Isabelle Hoare Logic.
Jia Meng
Lawrence C. Paulson
Gerwin Klein
Published in:
VERIFY (2007)
Keyphrases
</>
natural deduction
rewrite systems
theorem prover
term rewriting
automated reasoning
multi valued
cut elimination
active rules
theorem proving
inference rules
predicate logic
classical logic
proof theory
deontic logic
database
logic programming
neural network
formal language
artificial intelligence
real time