Open AccessOn a Dynamic Logic for Graph Rewriting
Author(s) -
Mathias Winckel,
Ralph Matthes
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - rewriting , graph rewriting , computer science , logical framework , graph , confluence , theoretical computer science , representation (politics) , dynamic logic (digital electronics) , programming language , transistor , voltage , physics , quantum mechanics , politics , political science , law