Number of the records: 1
From feasible proofs to feasible computations
- 1.KRAJÍČEK, J. From feasible proofs to feasible computations. In: DAWAR, A., VEITH, H., eds. Computer Science Logic 2010. Heidelberg: Springer, 2010, s. 22-31. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7. Available: doi: 10.1007/978-3-642-15205-4_3.
Number of the records: 1