Andreas Herzig
2
Documents
Publications
- 2
- 2
A Dynamic Logic for Termgraph Rewriting5th International Conference on Graph Transformations (ICGT 2010), 2010, Twente, Netherlands. pp.59-74, ⟨10.1007/978-3-642-15928-2_5⟩
Communication dans un congrès
hal-00940868v1
|
A Modal Logic for Termgraph Rewriting2010
Pré-publication, Document de travail
hal-00940869v1
|