Usage
  • 31 views
  • 64 downloads

The development of decidability proofs based on sequent calculi