Mathias Winckel

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Initially introduced by P. Balbiani, R. Echahed and A. Herzig, this dynamic logic is useful to talk about properties on termgraphs and to characterize transformations on these graphs. Also are presented the deterministic labelled graphs for which the logical framework is designed. This logic has been the starting point of a formal development, using the Coq(More)
  • 1