![]() | ![]() |
| 2007 | ||
|---|---|---|
| 2 | Linda Buisman, Rajeev Goré: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106 | |
| 1 | Linda Buisman, Rajeev Goré: A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version CoRR abs/0704.1707: (2007) | |
| 1 | Rajeev Goré | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page