ℹ️
🇬🇧
Search
Search for publications relevant for "arithmetical"
arithmetical
Publication
Class
Person
Publication
Programmes
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
