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:
Computational Simulation Formalized by String-Relation Systems
Goto
Sponge
Distinct
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 formalizes and studies the similarity of rewriting processes in formal language models
The paper formalizes and studies the similarity of rewriting processes in formal language models
(en)
Článek formalizuje a studuje podobnost přepisovacích procesů v modelech formálních jazyků<br>
(cs)
Title
Formalizace výpočetních simulací na základě řetězcově-relačních systémů
(cs)
Computational Simulation Formalized by String-Relation Systems
Computational Simulation Formalized by String-Relation Systems
(en)
skos:prefLabel
Formalizace výpočetních simulací na základě řetězcově-relačních systémů
(cs)
Computational Simulation Formalized by String-Relation Systems
Computational Simulation Formalized by String-Relation Systems
(en)
skos:notation
RIV/00216305:26230/04:PU49165!RIV06-GA0-26230___
http://linked.open.../vavai/riv/strany
544-547
http://linked.open...avai/riv/aktivita
P
http://linked.open...avai/riv/aktivity
P(GA201/04/0441)
http://linked.open...vai/riv/dodaniDat
2006
http://linked.open...aciTvurceVysledku
Švec, Martin
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
Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku
558468
http://linked.open...ai/riv/idVysledku
RIV/00216305:26230/04:PU49165
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
formal models, equivalence, simulation
(en)
http://linked.open.../riv/klicoveSlovo
simulation
equivalence
formal models
http://linked.open...ontrolniKodProRIV
[92729AD7E30B]
http://linked.open...v/mistoKonaniAkce
Bratislava
http://linked.open...i/riv/mistoVydani
Bratislava
http://linked.open...i/riv/nazevZdroje
Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004
http://linked.open...in/vavai/riv/obor
JC
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Optimally integrated models of modern information technologies
http://linked.open...UplatneniVysledku
2004
http://linked.open...iv/tvurceVysledku
Švec, Martin
http://linked.open...vavai/riv/typAkce
EUR - Evropská
http://linked.open.../riv/zahajeniAkce
2004-05-27
(
xsd:date
)
number of pages
4
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
Slovenská technická univerzita v Bratislave
https://schema.org/isbn
80-227-2057-7
http://localhost/t...ganizacniJednotka
26230
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, 85 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software