Vytisknout
0454008 - MÚ 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
de Oliveira Oliveira, Mateus
Reachability in graph transformation systems and slice languages.
Graph Transformation. Cham: Springer, 2015 - (Parisi-Presicce, F.; Westfechtel, B.), s. 121-137. Lecture Notes in Computer Science, 9151. ISBN 978-3-319-21144-2. ISSN 0302-9743.
[International Conference on Graph Transformation, ICGT 2015. L'Aquila (IT), 21.06.2015-23.06.2015]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: graph transformation systems * reachability * slice languages
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-319-21145-9_8
Trvalý link: http://hdl.handle.net/11104/0254722
de Oliveira Oliveira, Mateus
Reachability in graph transformation systems and slice languages.
Graph Transformation. Cham: Springer, 2015 - (Parisi-Presicce, F.; Westfechtel, B.), s. 121-137. Lecture Notes in Computer Science, 9151. ISBN 978-3-319-21144-2. ISSN 0302-9743.
[International Conference on Graph Transformation, ICGT 2015. L'Aquila (IT), 21.06.2015-23.06.2015]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: graph transformation systems * reachability * slice languages
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-319-21145-9_8
Trvalý link: http://hdl.handle.net/11104/0254722