  Typ výsledku
Autor celku
Název celku(Celkem 11 zázn.)
|
|---|
| Garlík, Michal. A New Proof of Ajtai's Completeness Theorem for Nonstandard Finite Structures. Archive for Mathematical Logic, 2015, sv. 54, s. 413–424. ISSN 1432-0665. [Článek v časopise] |
| Pich, Ján. Circuit lower bounds in bounded arithmetics. Annals of Pure and Applied Logic, 2015, sv. 166, s. 29–45. ISSN 0168-0072. [Článek v časopise] |
| Garlík, Michal, Construction of models of bounded arithmetic by restricted reduced powers, zaslané do Archive for Mathematical Logic [Jiný výsledek] |
| Pich, Ján, Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic, to appear in Logical Methods in Computer Science [Jiný výsledek] |
| Pich, Ján, Complexity Theory in Feasible Mathematics, PhD thesis [Jiný výsledek] |
| Pich, Ján, Circuit Lower Bounds in Bounded Arithmetics [Jiný výsledek] |
| Garlík, Michal, Ajtai's Completeness Theorem for Nonstandard Finite Structures [Jiný výsledek] |
| Pich, Ján, A note on Natural Proofs and Intuitionism, pripravovany clanok [Jiný výsledek] |
| Pich, Ján, Complexity theory in Feasible Mathematics, pripravovaný článok [Jiný výsledek] |
| Garlík, Michal, Ajtai's Completeness Theorem for Nonstandard Finite Structures [Jiný výsledek] |
| organizátori programu SAS, Acts of the programme "Semantics and Syntax" [Jiný výsledek] |
