Number of the records: 1
Proof Complexity of the Cut-free Calculus of Structures
- 1.Jeřábek, E. Proof Complexity of the Cut-free Calculus of Structures. Journal of Logic and Computation. 2009, 19(2), 323-339. ISSN 0955-792X. E-ISSN 1465-363X.
Number of the records: 1