About: NP search problems in low fragments of bounded arithmetic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

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)

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)

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, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software