Usage
  • 24 views
  • 50 downloads

The development of decidability proofs based on sequent calculi