BILOTTA, ANTONELLA

BILOTTA, ANTONELLA  

Classe di Lettere e Filosofia  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autori Tipo File
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 2026 Bilotta, Antonella + 4.1 Contributo in Atti di convegno
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 2025 Bilotta, Antonella + 4.1 Contributo in Atti di convegno
Growing a Modular Framework for Modal Systems: HOLMS 2025 Bilotta, Antonella + 8.2 Comunicazioni a Convegni o Seminari
Growing HOLMS, a HOL Light Library for Modal Systems 2024 Bilotta, Antonella + 4.1 Contributo in Atti di convegno
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light 2026 Bilotta, Antonella + 4.1 Contributo in Atti di convegno