Login / Signup
A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
Philipp Rümmer
Published in:
VERIFY (2007)
Keyphrases
</>
integer arithmetic
sequent calculus
cut elimination
linear logic
inference rules
model checking
linear time temporal logic
natural deduction
modal logic
machine learning
wide class