Software Tool Support for Modular Reasoning in Modal Logics of Actions - Archive ouverte HAL Access content directly
Conference Papers Year : 2018
No file

Dates and versions

hal-01836507 , version 1 (12-07-2018)

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⟩
54 View
0 Download

Share

Gmail Facebook X LinkedIn More