ℹ️
🇬🇧
Search
Search for people relevant for "predikátová logika"
predikátová logika
Person
Class
Person
Publication
Programmes
Export current view
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...
