Login / Signup

Proof theory for lattice-ordered groups.

George Metcalfe
Published in: TACL (2013)
Keyphrases
  • proof theory
  • default reasoning
  • automated reasoning
  • proof theoretic
  • reasoning problems
  • special case
  • branch and bound