Sfoglia per Autore
Building and executing proof strategies in a formal metatheory
1993-01-01 Armando, A.; Cimatti, A.; Vigano', Luca
SEL Compiler and Abstract Analyzers
1993-01-01 Succi, G.; Marino, G. A.; Colla, G.; Co', D.; Novella, S.; Pata, A.; Regoli, A.; Vigano', Luca
Implementing modal and relevance logics in a logical framework
1996-01-01 Basin, D.; Matthews, S.; Vigano', Luca
A Topography of Labelled Model Logics
1996-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Labelled Propositional Modal Logics: Theory and Practice
1997-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Labelled quantified modal logics
1997-01-01 Basin, D.; Matthews, M.; Vigano', Luca
A New Method for Bounding the Complexity of Modal Logics
1997-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Natural Deduction for Non-Classical Logics
1998-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Labelled Modal Logics: Quantifiers
1998-01-01 Basin, D.; Matthews, S.; Vigano', Luca
A Modular Presentation of Modal Logics in a Logical Framework
1998-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Modal logics K, T, K4, S4: labelled proof systems and new complexity results
1999-01-01 Basin, D.; Matthews, S.; Vigano', Luca
Labelled Deduction
2000-01-01 D., Basin; M., D’Agostino; D. M., Gabbay; S., Matthews; Vigano', Luca
An O(n log n)-Space Decision Procedure for the Relevance Logic B+
2000-01-01 Vigano', Luca
A Recipe for the Complexity Analysis of Non-Classical Logics
2000-01-01 Basin, D.; Vigano', Luca
Labelled Non-Classical Logics
2000-01-01 Vigano', Luca
Towards an awareness-based semantics for security protocol analysis
2001-01-01 Accorsi, R.; Basin, D.; Vigano', Luca
A Formal Data-Model of the CORBA Security Service
2001-01-01 Basin, D.; Rittinger, F.; Vigano', Luca
Labelled Deduction over Algebras of Truth-Values
2002-01-01 Rasga, J.; Sernadas, A.; Sernadas, C.; Vigano', Luca
Fibring Labelled Deduction Systems
2002-01-01 J., Rasga; A., Sernadas; C., Sernadas; Vigano', Luca
The AVISS Security Protocol Analysis Tool
2002-01-01 Armando, A.; Basin, D.; Bouallagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Vigano', Luca; Vigneron, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Building and executing proof strategies in a formal metatheory | 1-gen-1993 | Armando, A.; Cimatti, A.; Vigano', Luca | |
SEL Compiler and Abstract Analyzers | 1-gen-1993 | Succi, G.; Marino, G. A.; Colla, G.; Co', D.; Novella, S.; Pata, A.; Regoli, A.; Vigano', Luca | |
Implementing modal and relevance logics in a logical framework | 1-gen-1996 | Basin, D.; Matthews, S.; Vigano', Luca | |
A Topography of Labelled Model Logics | 1-gen-1996 | Basin, D.; Matthews, S.; Vigano', Luca | |
Labelled Propositional Modal Logics: Theory and Practice | 1-gen-1997 | Basin, D.; Matthews, S.; Vigano', Luca | |
Labelled quantified modal logics | 1-gen-1997 | Basin, D.; Matthews, M.; Vigano', Luca | |
A New Method for Bounding the Complexity of Modal Logics | 1-gen-1997 | Basin, D.; Matthews, S.; Vigano', Luca | |
Natural Deduction for Non-Classical Logics | 1-gen-1998 | Basin, D.; Matthews, S.; Vigano', Luca | |
Labelled Modal Logics: Quantifiers | 1-gen-1998 | Basin, D.; Matthews, S.; Vigano', Luca | |
A Modular Presentation of Modal Logics in a Logical Framework | 1-gen-1998 | Basin, D.; Matthews, S.; Vigano', Luca | |
Modal logics K, T, K4, S4: labelled proof systems and new complexity results | 1-gen-1999 | Basin, D.; Matthews, S.; Vigano', Luca | |
Labelled Deduction | 1-gen-2000 | D., Basin; M., D’Agostino; D. M., Gabbay; S., Matthews; Vigano', Luca | |
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ | 1-gen-2000 | Vigano', Luca | |
A Recipe for the Complexity Analysis of Non-Classical Logics | 1-gen-2000 | Basin, D.; Vigano', Luca | |
Labelled Non-Classical Logics | 1-gen-2000 | Vigano', Luca | |
Towards an awareness-based semantics for security protocol analysis | 1-gen-2001 | Accorsi, R.; Basin, D.; Vigano', Luca | |
A Formal Data-Model of the CORBA Security Service | 1-gen-2001 | Basin, D.; Rittinger, F.; Vigano', Luca | |
Labelled Deduction over Algebras of Truth-Values | 1-gen-2002 | Rasga, J.; Sernadas, A.; Sernadas, C.; Vigano', Luca | |
Fibring Labelled Deduction Systems | 1-gen-2002 | J., Rasga; A., Sernadas; C., Sernadas; Vigano', Luca | |
The AVISS Security Protocol Analysis Tool | 1-gen-2002 | Armando, A.; Basin, D.; Bouallagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Vigano', Luca; Vigneron, L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile