Conference Papers
Year : 2018
Sabine Frittella : Connect in order to contact the contributor
https://hal.science/hal-01836507
Submitted on : Thursday, July 12, 2018-1:21:40 PM
Last modification on : Tuesday, March 26, 2024-5:44:13 PM
Dates and versions
Identifiers
- HAL Id : hal-01836507 , version 1
Cite
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⟩
Collections
68
View
0
Download