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:
Forcing with random variables and proof complexity
Goto
Sponge
Distinct
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 develop a new method for constructing models of bounded arithmetic and apply it to proof complexity.
We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity.
(en)
Title
Forcing with random variables and proof complexity
Forcing with random variables and proof complexity
(en)
skos:prefLabel
Forcing with random variables and proof complexity
Forcing with random variables and proof complexity
(en)
skos:notation
RIV/67985840:_____/11:00369674!RIV12-AV0-67985840
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(IAA100190902), P(IAA1019401), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)
http://linked.open...vai/riv/dodaniDat
2012
http://linked.open...aciTvurceVysledku
Krajíček, Jan
http://linked.open.../riv/druhVysledku
B - Odborná kniha
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
200096
http://linked.open...ai/riv/idVysledku
RIV/67985840:_____/11:00369674
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
computational complexity; random variables; mathematical analysis
(en)
http://linked.open.../riv/klicoveSlovo
mathematical analysis
random variables
computational complexity
http://linked.open...ontrolniKodProRIV
[C655AA92392E]
http://linked.open...i/riv/mistoVydani
Cambridge
http://linked.open...vEdiceCisloSvazku
London Mathematical Society Lecture Note Series, 382
http://linked.open...i/riv/nazevZdroje
Forcing with random variables and proof complexity
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...v/pocetStranKnihy
247
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Eduard Čech Center for Algebra and Geometry
Mathematical logic, complexity, and algorithms
Theories, proofs and computational complexity
http://linked.open...UplatneniVysledku
2011
http://linked.open...iv/tvurceVysledku
Krajíček, Jan
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
number of pages
247
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
Cambridge University Press
https://schema.org/isbn
978-0-521-15433-8
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software