Publications

Publications de

Communications dans un congrès
  • Mathias Winckel, Ralph Matthes

    On a Dynamic Logic for Graph Rewriting (regular paper)

    Dans : Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013), Kherson, Ukraine, 20/01/13-21/01/13, Vol. 1000, Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky (Eds.), CEUR-WS : Workshop proceedings, p. 506-520, juin 2013.

    Accès : https://oatao.univ-toulouse.fr/12536/
    BibTeX

  • Mathias Winckel, Ralph Matthes

    Formalization of a dynamic logic for graph transformation in the Coq proof assistant (regular paper)

    Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2012), Kiew, 03/12/12-07/12/12, Mykola Nikitchenko (Eds.), Avangard, p. 31-42, décembre 2012.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par