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
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. Abstract. Initially introduced by P. Balbiani, R. Echahed and A. Herzig, this dynamic logic is useful to talk about properties on ter-mgraphs and to characterize transformations on these graphs. Also are presented the(More)
Initially introduced by P. Balbiani, R. Echahed and A. Herzig, this dynamic logic is useful to talk about properties on ter-mgraphs 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(More)
  • 1