Software Tool Support for Modular Reasoning in Modal Logics of Actions

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01836507
Contributor : Sabine Frittella <>
Submitted on : Thursday, July 12, 2018 - 1:21:40 PM
Last modification on : Thursday, January 17, 2019 - 3:10:02 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

42