Number of the records: 1
A form of feasible interpolation for constant depth Frege systems
- 1.Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
Impact factor: 0.584, year: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
http://hdl.handle.net/11104/0192907
Number of the records: 1