Mathias Winckel

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Graph Theoretic

Reasoning About Actions

Directed Acyclic Graph

Top Venues

Publications

Mathias Winckel, Ralph Matthes
On a Dynamic Logic for Graph Rewriting. ICTERI (2013)