Fingerprint
Dive into the research topics of 'Software Tool Support for Modular Reasoning in Modal Logics of Actions'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Software Tool Support for Modular Reasoning in Modal Logics of Actions
Samuel Balco*, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
*Corresponding author for this work
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
2
Citations
(Scopus)