ℹ️
🇬🇧
Search
Search for people relevant for "proof theory"
proof theory
Person
Class
Person
Publication
Programmes
prof. RNDr. Pavel Pudlák DrSc.
External academic staff at Faculty of Mathematics and Physics
2 classes
6 publications
Classes
class
Logic in Computer Science
NMAI067 |
Faculty of Mathematics and Physics
class
Seminar on Computational Complexity
NTIN050 |
Faculty of Mathematics and Physics
Publications
publication
Quantum deduction rules
2009 |
Faculty of Mathematics and Physics
publication
Twelve problems in proof complexity
+1
2008 |
Faculty of Mathematics and Physics
publication
Bounded depth circuits: separating wires from gates
2005 |
Faculty of Mathematics and Physics
publication
Bounded depth circuits: separating wires from gates
2005 |
Publication without faculty affiliation
publication
An upper bound for a communication game related tospace-time tradeoffs
1996 |
Faculty of Mathematics and Physics, Central Library of Charles University
Loading network view...
