Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
Pattern Equations and Equations with Stuttering
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
The paper investigates pattern equations and their applicability
The paper investigates pattern equations and their applicability
(en)
The paper investigates pattern equations and their applicability
(cs)
Title
Pattern Equations and Equations with Stuttering
Pattern Equations and Equations with Stuttering
(en)
Pattern Equations and Equations with Stuttering
(cs)
skos:prefLabel
Pattern Equations and Equations with Stuttering
Pattern Equations and Equations with Stuttering
(en)
Pattern Equations and Equations with Stuttering
(cs)
skos:notation
RIV/00216224:14330/99:00001272!RIV09-GA0-14330___
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GA201/97/0456), Z(MSM 143100009), Z(MSM 143300001)
http://linked.open...vai/riv/dodaniDat
2009
http://linked.open...aciTvurceVysledku
Srba, Jiří
Černá, Ivana
Klíma, Ondřej
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku
749180
http://linked.open...ai/riv/idVysledku
RIV/00216224:14330/99:00001272
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
pattern equations - stuttering
(en)
http://linked.open.../riv/klicoveSlovo
pattern equations - stuttering
http://linked.open...ontrolniKodProRIV
[CAFD49DD6A53]
http://linked.open...v/mistoKonaniAkce
November 27 - December 4, 1999, Milovy, CR
http://linked.open...i/riv/mistoVydani
Heidelberg
http://linked.open...i/riv/nazevZdroje
SOFSEM'99: Theory and Practise of Informatics
http://linked.open...in/vavai/riv/obor
BD
http://linked.open...ichTvurcuVysledku
3
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
3
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Algorithmic verification boundaries for infinite-state systems
http://linked.open...UplatneniVysledku
1999
http://linked.open...iv/tvurceVysledku
Černá, Ivana
Srba, Jiří
Klíma, Ondřej
http://linked.open...vavai/riv/typAkce
CST - Celostátní
http://linked.open...ain/vavai/riv/wos
000088669000024
http://linked.open.../riv/zahajeniAkce
1999-01-01
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20143300001
http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20143100009
number of pages
10
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
Springer-Verlag
https://schema.org/isbn
3-540-66694-X
http://localhost/t...ganizacniJednotka
14330
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software