This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n9http://localhost/temp/predkladatel/
n8http://linked.opendata.cz/resource/domain/vavai/projekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F09%3A00207340%21RIV10-MSM-11320___/
shttp://schema.org/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F09%3A00207340%21RIV10-MSM-11320___
rdf:type
skos:Concept n17:Vysledek
dcterms:description
We construct a finite algebra generating a variety with 2EXPTIME complete membership problem. This proves that the universal membership problem for varieties and the varietal equivalence problem are 2EXPTIME complete as well, answering the question of Bergman and Slutzki from 2000. We construct a finite algebra generating a variety with 2EXPTIME complete membership problem. This proves that the universal membership problem for varieties and the varietal equivalence problem are 2EXPTIME complete as well, answering the question of Bergman and Slutzki from 2000.
dcterms:title
A 2exptime complete varietal membership problem A 2exptime complete varietal membership problem
skos:prefLabel
A 2exptime complete varietal membership problem A 2exptime complete varietal membership problem
skos:notation
RIV/00216208:11320/09:00207340!RIV10-MSM-11320___
n5:aktivita
n13:P
n5:aktivity
P(LC505)
n5:cisloPeriodika
6
n5:dodaniDat
n6:2010
n5:domaciTvurceVysledku
Kozik, Marcin
n5:druhVysledku
n11:J
n5:duvernostUdaju
n7:S
n5:entitaPredkladatele
n15:predkladatel
n5:idSjednocenehoVysledku
301672
n5:idVysledku
RIV/00216208:11320/09:00207340
n5:jazykVysledku
n16:eng
n5:klicovaSlova
2exptime; complete; varietal; membership; problem
n5:klicoveSlovo
n12:membership n12:2exptime n12:problem n12:varietal n12:complete
n5:kodStatuVydavatele
US - Spojené státy americké
n5:kontrolniKodProRIV
[3D66BC1057B0]
n5:nazevZdroje
SIAM Journal on Computing
n5:obor
n14:BA
n5:pocetDomacichTvurcuVysledku
1
n5:pocetTvurcuVysledku
1
n5:projekt
n8:LC505
n5:rokUplatneniVysledku
n6:2009
n5:svazekPeriodika
38
n5:tvurceVysledku
Kozik, Marcin
n5:wos
000266018400014
s:issn
0097-5397
s:numberOfPages
25
n9:organizacniJednotka
11320