Towards a Cut-free Sequent Calculus for Boolean BI
- Title
- Towards a Cut-free Sequent Calculus for Boolean BI
- Authors
- 박성우; 박종현
- Date Issued
- 2010-07-10
- Publisher
- LICS
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/57419
- Article Type
- Conference
- Citation
- Proof Systems for Program Logics, 2010-07-10
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.