Search results
- 1.0353758 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Krajíček, Jan
From feasible proofs to feasible computations.
Computer Science Logic 2010. Heidelberg: Springer, 2010 - (Dawar, A.; Veith, H.), s. 22-31. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7.
[Computer science logic 2010. Brno (CZ), 23.08.2010-27.08.2010]
R&D Projects: GA AV ČR IAA100190902; GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : lengths of proofs * computational time
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
Permanent Link: http://hdl.handle.net/11104/0192912File Download Size Commentary Version Access Krajicek.pdf 1 164.1 KB Publisher’s postprint require - 2.0345652 - MÚ 2011 RIV US eng J - Journal Article
Pudlák, Pavel
Gödel and computations: a 100th anniversary retrospective.
ACM SIGACT News. Roč. 37, č. 4 (2006), s. 13-21. ISSN 0163-5700
Institutional research plan: CEZ:AV0Z10190503
Keywords : computability * lengths of proofs * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0186867 - 3.0175423 - MU-W 20030177 RIV US eng J - Journal Article
Pudlák, Pavel
Proofs as games.
American Mathematical Monthly. Roč. 107, č. 5 (2000), s. 541-550. ISSN 0002-9890. E-ISSN 1930-0972
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : game * lengths of proofs * resolution
Subject RIV: BA - General Mathematics
Impact factor: 0.238, year: 2000
Permanent Link: http://hdl.handle.net/11104/0072406File Download Size Commentary Version Access Pudlak2.pdf 1 967.7 KB Publisher’s postprint require