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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n11	http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n7	http://linked.opendata.cz/ontology/domain/vavai/
n12	http://linked.opendata.cz/ontology/domain/vavai/riv/predkladatel/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
skos	http://www.w3.org/2004/02/skos/core#
rdfs	http://www.w3.org/2000/01/rdf-schema#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F12%3A00057222%21RIV13-GA0-14330___/hodnoceni/
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n5	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n14	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F12%3A00057222%21RIV13-GA0-14330___/hodnoceni/2013/
xsdh	http://www.w3.org/2001/XMLSchema#
n13	http://linked.opendata.cz/resource/domain/vavai/sjednocenyVysledek/
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:2013

rdf:type

n7:OhodnocenyVysledek

rdfs:seeAlso

http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F12%3A00057222!RIV13-GA0-14330___

dcterms:title

LTL to Büchi Automata Translation: Fast and More Deterministic

skos:notation

RIV/00216224:14330/12:00057222!RIV13-GA0-14330___

n3:bodoveHodnoceniCelehoVysledku

44.376

n3:bodovyPodilHodnoceniNaVysledku

44.376

n3:druhVysledkuVHodnoceni

n15:D

n3:duvodHodnoceni

článek ve sborníku evidovaném v databázi Scopus bodovaný podle SJR zdroje typu "Book Series" nebo "Conference Proceedings"

n3:navaznostiVysledku

n4:P%28GA201%2F09%2F1389%29 n4:S n4:Z%28MSM0021622419%29 n4:P%28GPP202%2F12%2FP612%29 n4:P%28GD102%2F09%2FH042%29 n4:P%28GAP202%2F10%2F1469%29 n4:P%28GBP202%2F12%2FG061%29

n3:podilHodnoceniNaVysledku

1

n3:predkladatel

n12:orjk_14330

n3:publikacniKanal

TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

n3:rokHodnoceniVysledku

n6:2014

n3:rozsahVyrazeni

n17:0

n3:skupinaOboru

n9:04

n3:upraveneBodoveHodnoceniCelehoVysledku

34.42

n3:upravenyBodovyPodilHodnoceniNaVysledku

34.42

n3:vysledek

n5:RIV%2F00216224%3A14330%2F12%3A00057222%21RIV13-GA0-14330___

n3:vysledekDruh

n11:D

n3:domaciTvurceVysledku

n14:tvurce_K%C5%99et%C3%ADnsk%C3%BD%2C%20Mojm%C3%ADr n14:tvurce_Strej%C4%8Dek%2C%20Jan n14:tvurce_%C5%98eh%C3%A1k%2C%20Vojt%C4%9Bch n14:tvurce_Babiak%2C%20Tom%C3%A1%C5%A1

n3:idSjednocenehoVysledku

Eb+RzQhXWXxGF.uGAFx!qYxugC0=

n3:obor

n10:IN

n3:rokUplatneniVysledku

n6:2012

n3:sjednocenyVysledek

n13:Eb%2BRzQhXWXxGF.uGAFx%21qYxugC0%3D