Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 118
Titolo Data di pubblicazione Autore(i) File
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
Building and executing proof strategies in a formal metatheory 1-gen-1993 Armando, A.; Cimatti, A.; Vigano', Luca
A Topography of Labelled Model Logics 1-gen-1996 Basin, D.; Matthews, S.; Vigano', Luca
Implementing modal and relevance logics in a logical framework 1-gen-1996 Basin, D.; Matthews, S.; Vigano', Luca
A New Method for Bounding the Complexity of Modal Logics 1-gen-1997 Basin, D.; Matthews, S.; Vigano', Luca
Labelled quantified modal logics 1-gen-1997 Basin, D.; Matthews, M.; Vigano', Luca
Labelled Propositional Modal Logics: Theory and Practice 1-gen-1997 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
Labelled Modal Logics: Quantifiers 1-gen-1998 Basin, D.; Matthews, S.; Vigano', Luca
Natural Deduction for Non-Classical Logics 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 Non-Classical Logics 1-gen-2000 Vigano', Luca
A Recipe for the Complexity Analysis of Non-Classical Logics 1-gen-2000 Basin, D.; Vigano', Luca
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 1-gen-2000 Vigano', Luca
Labelled Deduction 1-gen-2000 D., Basin; M., D’Agostino; D. M., Gabbay; S., Matthews; Vigano', Luca
A Formal Data-Model of the CORBA Security Service 1-gen-2001 Basin, D.; Rittinger, F.; Vigano', Luca
Towards an awareness-based semantics for security protocol analysis 1-gen-2001 Accorsi, R.; Basin, D.; Vigano', Luca
Labelled Deduction over Algebras of Truth-Values 1-gen-2002 Rasga, J.; Sernadas, A.; Sernadas, C.; Vigano', Luca
A Formal Analysis of the CORBA Security Service 1-gen-2002 Basin, D.; Rittinger, F.; 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.
Mostrati risultati da 1 a 20 di 118
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