Software Tool Support for Modular Reasoning in Modal Logics of Actions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Domaines

Logique en informatique [cs.LO]

Sabine Frittella  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01836507

Soumis le : jeudi 12 juillet 2018-13:21:40

Dernière modification le : mardi 26 mars 2024-17:44:13

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS INSA-GROUPE INSA-CVL
65 Consultations
0 Téléchargements

Partager

More