Hochschule
Scuola Normale Superiore
Scuola Normale Superiore – 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…