Usage
  • 59 views
  • 116 downloads

The development of decidability proofs based on sequent calculi