This HTML5 document contains 23 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/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F08%3APU76751%21RIV10-MSM-26230___/hodnoceni/2010/
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n13	http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n12	http://linked.opendata.cz/ontology/domain/vavai/
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/
n5	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#
n8	http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n16	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F08%3APU76751%21RIV10-MSM-26230___/hodnoceni/
xsdh	http://www.w3.org/2001/XMLSchema#
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7	http://localhost/ontology/
n6	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:2010

rdf:type

n12:OhodnocenyVysledek

rdfs:seeAlso

http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F08%3APU76751!RIV10-MSM-26230___

dcterms:title

Composed Bisimulation for Tree Automata

skos:notation

RIV/00216305:26230/08:PU76751!RIV10-MSM-26230___

n4:bodoveHodnoceniCelehoVysledku

8.0

n4:bodovyPodilHodnoceniNaVysledku

8.0

n4:druhVysledkuVHodnoceni

n5:D

n4:navaznostiVysledku

n8:P%28GA102%2F07%2F0322%29

n4:podilHodnoceniNaVysledku

1.0

n4:publikacniKanal

Implementation and Application of Automata

n4:rokHodnoceniVysledku

n6:2011

n4:rozsahVyrazeni

n9:0

n4:skupinaOboru

n13:02

n4:upraveneBodoveHodnoceniCelehoVysledku

6.7199999999999997513

n4:upravenyBodovyPodilHodnoceniNaVysledku

6.7199999999999997513

n4:vysledek

n16:RIV%2F00216305%3A26230%2F08%3APU76751%21RIV10-MSM-26230___

n4:vysledekDruh

n17:D

n7:zpusobPrizazeniBodu-duvodVyrazeni

Metodika hodnocení, nově hodnocený výsledek, článek ve sborníku evidovaném v databázi Conference Proceedings Citation Index společnosti Thomson Reuters (dohledáno podle ISBN).

n4:korekcniKoeficient

0.83999999999999996891

n4:domaciTvurceVysledku

n11:tvurce_Hol%C3%ADk%2C%20Luk%C3%A1%C5%A1

n4:idSjednocenehoVysledku

C404F96C18075DE4B37768E9A4A94DE97013ACF3

n4:obor

n14:JC

n4:rokUplatneniVysledku

n6:2008