Software Tool Support for Modular Reasoning in Modal Logics of Actions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01836507 , version 1

Citer

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⟩
55 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More