Stückrath, Jan; Sangnier, Arnaud; König, Barbara; Delzanno, Georgio; Bertrand, Nathalie:
On the decidability status of reachability and coverability in graph transformation systems
In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) / Tiwari, Ashish (Hrsg.). - International Conference on Rewriting Techniques and Applications, May 28 - June 2, 2012, Nagoya, Japan - Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012 - (Leibniz international proceedings in informatics ; 15), S. 101 - 116
2012Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel in Englisch:
On the decidability status of reachability and coverability in graph transformation systems
Autor*in:
Stückrath, Jan;Sangnier, Arnaud;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Delzanno, Georgio;Bertrand, Nathalie
DOI
10.4230/LIPIcs.RTA.2012.101
Scopus ID
84880201719
Sprache des Textes:
Englisch
Erschienen in
23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Konferenz
International Conference on Rewriting Techniques and Applications, May 28 - June 2, 2012, Nagoya, Japan
Herausgeber*in:
Tiwari, Ashish
Erscheinungsort:
Wadern
Verlag:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Erscheinungsjahr:
2012
in:
S. 101 - 116
ISBN
978-3-939897-38-5
In Serie
Leibniz international proceedings in informatics
in:
Band 15