Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Mostrati risultati da 1 a 2 di 2
A Comparative Study of Compressed, Learned, and Traditional Indexing Methods for Integer Data
2025 Bellomo, Lorenzo; Cianci, Giuseppe; De Rosa, Luca; Ferragina, Paolo; Odorisio, Mattia
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light
2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
| Titolo | Data di pubblicazione | Autori | Tipo | File |
|---|---|---|---|---|
| A Comparative Study of Compressed, Learned, and Traditional Indexing Methods for Integer Data | 2025 | Bellomo, LorenzoFerragina, Paolo + | 4.1 Contributo in Atti di convegno | |
| A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light | 2026 | Bilotta, Antonella + | 4.1 Contributo in Atti di convegno |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file non ad Accesso aperto
- file sotto embargo
- nessun file disponibile