Software Tool Support for Modular Reasoning in Modal Logics of Actions

Type de document :
Communication dans un congrès
9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01836507
Contributeur : Sabine Frittella <>
Soumis le : jeudi 12 juillet 2018 - 13:21:40
Dernière modification le : vendredi 26 octobre 2018 - 10:31:56

Identifiants

  • HAL Id : hal-01836507, version 1

Collections

Citation

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano. Software Tool Support for Modular Reasoning in Modal Logics of Actions. 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. 〈hal-01836507〉

Partager

Métriques

Consultations de la notice

31