Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
NP search problems in low fragments of bounded arithmetic
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
We provide characterizations of NP search problems definable in low fragments of bounded arifthmetic.
We provide characterizations of NP search problems definable in low fragments of bounded arifthmetic.
(en)
Předložíme charakterizaci NP vyhledávacích problémů definovatelných ve slabých fragmentech omezené aritmetiky.
(cs)
Title
NP search problems in low fragments of bounded arithmetic
NP search problems in low fragments of bounded arithmetic
(en)
NP vyhledávací problémy v slabých fragmentech omezené aritmetiky
(cs)
skos:prefLabel
NP search problems in low fragments of bounded arithmetic
NP search problems in low fragments of bounded arithmetic
(en)
NP vyhledávací problémy v slabých fragmentech omezené aritmetiky
(cs)
skos:notation
RIV/67985840:_____/07:00087421!RIV08-AV0-67985840
http://linked.open.../vavai/riv/strany
649;672
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GA201/05/0124), P(IAA1019401), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)
http://linked.open...iv/cisloPeriodika
2
http://linked.open...vai/riv/dodaniDat
2008
http://linked.open...aciTvurceVysledku
Krajíček, Jan
http://linked.open.../riv/druhVysledku
J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku
438028
http://linked.open...ai/riv/idVysledku
RIV/67985840:_____/07:00087421
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
search problems; bounded arithmetic
(en)
http://linked.open.../riv/klicoveSlovo
bounded arithmetic
search problems
http://linked.open...odStatuVydavatele
US - Spojené státy americké
http://linked.open...ontrolniKodProRIV
[E970D91D0C82]
http://linked.open...i/riv/nazevZdroje
Journal of Symbolic Logic
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
3
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Online algorithms, randomness, and extremal problems
Eduard Čech Center for Algebra and Geometry
Theories, proofs and computational complexity
http://linked.open...UplatneniVysledku
2007
http://linked.open...v/svazekPeriodika
72
http://linked.open...iv/tvurceVysledku
Krajíček, Jan
Skelley, A.
Thapen, N.
http://linked.open...n/vavai/riv/zamer
Rozvoj a prohloubení obecných matematických poznatků a jejich užití v dalších vědních oborech a v praxi
Metody moderní matematiky a jejich aplikace
issn
0022-4812
number of pages
24
(
xsd:int
)
is
http://linked.open...avai/riv/vysledek
of
NP search problems in low fragments of bounded arithmetic
NP search problems in low fragments of bounded arithmetic
NP search problems in low fragments of bounded arithmetic
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software