Number of the records: 1
Proof Complexity of the Cut-free Calculus of Structures
- 1.Jeřábek, Emil
Proof Complexity of the Cut-free Calculus of Structures.
Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339. ISSN 0955-792X. E-ISSN 1465-363X
Impact factor: 0.789, year: 2009
http://hdl.handle.net/11104/0171376
Number of the records: 1