ℹ️
🇬🇧
Search
Search for publications relevant for "arithmetic"
arithmetic
Publication
Class
Person
Publication
Programmes
Export current view
NP search problems in low fragments of bounded arithmetic
Publication at Faculty of Mathematics and Physics
|
2007
1 person
Abstract
NP search problems in low fragments of bounded arithmetic
Keywords
search
problems
fragments
bounded
arithmetic
Person
person
prof. RNDr. Jan Krajíček DrSc.
Faculty of Mathematics and Physics
