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

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

Namespace Prefixes

PrefixIRI
n16http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F01%3A00004676%21RIV08-MSM-14330___/
n9http://localhost/temp/predkladatel/
n6http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n17http://linked.opendata.cz/ontology/domain/vavai/
n18http://linked.opendata.cz/resource/domain/vavai/zamer/
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#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F01%3A00004676%21RIV08-MSM-14330___
rdf:type
n17:Vysledek skos:Concept
dcterms:description
Známý koncept přepisovacích systémů rozšiřujeme o jednotku obsahující globální informaci, která může ovlivňovat přepisování a být jím ovlivněna. Tato jednotka je podobná jednotce "store" používané v Concurrent Constraint Programming a může být také chápána jako slabá stavová jednotka. Zkoumáme jak popsané rozšíření změní vyjadřovací sílu tříd zahrnutých v Mayerově hierarchii přepisovacích systémů. Nové třídy fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS jsou vloženy do zmíněné hierarchie. We extend a widely used concept of rewrite systems with a unit holding a kind of global information which can influence and can be influenced by rewriting. The unit is similar to the store used in concurrent constraint programming, and can be also seen as a special (weak) state unit. We present how this extension changes the expressive power of rewrite systems classes which are included in Mayr's PRS hierarchy [8]. The new classes (fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS) are described and inserted into the hierarchy. We extend a widely used concept of rewrite systems with a unit holding a kind of global information which can influence and can be influenced by rewriting. The unit is similar to the store used in concurrent constraint programming, and can be also seen as a special (weak) state unit. We present how this extension changes the expressive power of rewrite systems classes which are included in Mayr's PRS hierarchy [8]. The new classes (fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS) are described and inserted into the hierarchy.
dcterms:title
Rewrite Systems with Constraints Rewrite Systems with Constraints Přepisovací systémy s omezeními
skos:prefLabel
Rewrite Systems with Constraints Rewrite Systems with Constraints Přepisovací systémy s omezeními
skos:notation
RIV/00216224:14330/01:00004676!RIV08-MSM-14330___
n4:strany
1
n4:aktivita
n5:Z n5:P
n4:aktivity
P(GA201/00/0400), Z(MSM 143300001)
n4:dodaniDat
n7:2008
n4:domaciTvurceVysledku
n10:3978915
n4:druhVysledku
n12:D
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n21:predkladatel
n4:idSjednocenehoVysledku
694725
n4:idVysledku
RIV/00216224:14330/01:00004676
n4:jazykVysledku
n13:eng
n4:klicovaSlova
(rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
n4:klicoveSlovo
n8:language%20expressibility n8:%28rewrite%29%20transition%20system n8:partial%20information n8:concurrency n8:bisimulation%20equivalence
n4:kontrolniKodProRIV
[2891937B3197]
n4:mistoKonaniAkce
20. 8. 2001, Aalborg, Denmark
n4:mistoVydani
Aalborg (Denmark)
n4:nazevZdroje
EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency
n4:obor
n20:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n11:GA201%2F00%2F0400
n4:rokUplatneniVysledku
n7:2001
n4:tvurceVysledku
Strejček, Jan
n4:typAkce
n16:CST
n4:zahajeniAkce
2001-01-01+01:00
n4:zamer
n18:MSM%20143300001
s:numberOfPages
20
n6:hasPublisher
Elsevier Science
n9:organizacniJednotka
14330