Hochschule
IMT School for Advanced Studies Lucca
IMT School for Advanced Studies Lucca – Hochschule bzw. Forschungseinrichtung mit Aktivitäten in Forschung und Innovation.
Forschungsprojekte
- A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light We extend the existing HOL Light Library for Modal Systems (HOLMS) to support a modular implementation of mod…