On the Decidability Status of Reachability and Coverability in Graph Transformation Systems

Type de document :
Communication dans un congrès
RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. 15, pp.101-116, 2012, LIPIcs. 〈10.4230/LIPIcs.RTA.2012.101〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00752446
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 novembre 2012 - 17:18:23
Dernière modification le : mercredi 11 avril 2018 - 01:56:49

Identifiants

Collections

Citation

Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. 15, pp.101-116, 2012, LIPIcs. 〈10.4230/LIPIcs.RTA.2012.101〉. 〈hal-00752446〉

Partager

Métriques

Consultations de la notice

105