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

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

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n16http://purl.org/net/nknouf/ns/bibtex#
n12http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n5http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
n18https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F12%3A10131372%21RIV13-GA0-11320___/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F12%3A10131372%21RIV13-GA0-11320___
rdf:type
n14:Vysledek skos:Concept
dcterms:description
We describe a taxonomy of red-automata based on error localization We describe a taxonomy of red-automata based on error localization
dcterms:title
Taxonomy of red-automata motivated by error localization Taxonomy of red-automata motivated by error localization
skos:prefLabel
Taxonomy of red-automata motivated by error localization Taxonomy of red-automata motivated by error localization
skos:notation
RIV/00216208:11320/12:10131372!RIV13-GA0-11320___
n14:predkladatel
n15:orjk%3A11320
n4:aktivita
n21:P
n4:aktivity
P(GAP103/10/0783), P(GAP202/10/1333)
n4:dodaniDat
n6:2013
n4:domaciTvurceVysledku
n13:2985640
n4:druhVysledku
n19:D
n4:duvernostUdaju
n22:S
n4:entitaPredkladatele
n10:predkladatel
n4:idSjednocenehoVysledku
173319
n4:idVysledku
RIV/00216208:11320/12:10131372
n4:jazykVysledku
n8:eng
n4:klicovaSlova
error localization; Taxonomy of red-automata
n4:klicoveSlovo
n17:Taxonomy%20of%20red-automata n17:error%20localization
n4:kontrolniKodProRIV
[422740497E79]
n4:mistoKonaniAkce
Fribourg, Switzerland
n4:mistoVydani
Wien, Austria
n4:nazevZdroje
Proceedings of the NCMA 2012 4th International Workshop on Non-Classical Models of Automata and Applications
n4:obor
n9:IN
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n5:GAP202%2F10%2F1333 n5:GAP103%2F10%2F0783
n4:rokUplatneniVysledku
n6:2012
n4:tvurceVysledku
Procházka, Martin Plátek, Martin
n4:typAkce
n20:EUR
n4:zahajeniAkce
2012-08-23+02:00
s:numberOfPages
15
n16:hasPublisher
Österreichische Computer Gesellschaft
n18:isbn
978-3-85403-290-8
n12:organizacniJednotka
11320