"NP search problems in low fragments of bounded arithmetic"@en . "[E970D91D0C82]" . "24"^^ . . "Journal of Symbolic Logic" . "NP search problems in low fragments of bounded arithmetic"@en . . . "NP vyhled\u00E1vac\u00ED probl\u00E9my v slab\u00FDch fragmentech omezen\u00E9 aritmetiky"@cs . . . "1"^^ . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "3"^^ . . "RIV/67985840:_____/07:00087421" . "2" . "Kraj\u00ED\u010Dek, Jan" . "NP search problems in low fragments of bounded arithmetic" . . "We provide characterizations of NP search problems definable in low fragments of bounded arifthmetic." . . . . "NP vyhled\u00E1vac\u00ED probl\u00E9my v slab\u00FDch fragmentech omezen\u00E9 aritmetiky"@cs . . "We provide characterizations of NP search problems definable in low fragments of bounded arifthmetic."@en . "RIV/67985840:_____/07:00087421!RIV08-AV0-67985840" . "NP search problems in low fragments of bounded arithmetic" . . . . "0022-4812" . . "P\u0159edlo\u017E\u00EDme charakterizaci NP vyhled\u00E1vac\u00EDch probl\u00E9m\u016F definovateln\u00FDch ve slab\u00FDch fragmentech omezen\u00E9 aritmetiky."@cs . "search problems; bounded arithmetic"@en . . . "649;672" . "P(GA201/05/0124), P(IAA1019401), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)" . "72" . . "Skelley, A." . "Thapen, N." . . "438028" .