Usage
  • 70 views
  • 142 downloads

The development of decidability proofs based on sequent calculi