In press
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light / Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi. - STAMPA. - (2026).
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light
Marco Maggesi;Cosimo Perini Brogi
2026
Abstract
In press
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
HOLMS_CSL.pdf
Accesso chiuso
Descrizione: Preprint finale
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
842.9 kB
Formato
Adobe PDF
|
842.9 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
