ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "first order logic"
first order logic
Osoba
Předměty
Osoby
Publikace
Studium
Erfan Khaniki Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
3 publikace
Publikace
publication
Not all Kripke models of HA are locally PA
2022 |
Matematicko-fyzikální fakulta
publication
On Proof Complexity of Resolution over Polynomial Calculus
2022 |
Matematicko-fyzikální fakulta
publication
Nisan-Wigderson generators in proof complexity: new lower bounds
2022 |
Matematicko-fyzikální fakulta
Loading network view...
