Sfoglia per Autore
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2002 Avellone, A; Fiorino, G; Moscato, U
A Formal Framework for Synthesis and Verification of Logic Programs
2001 Avellone, A; Ferrari, M; Fiorentini, C
How to avoid the formal verification of a theorem prover
2001 Avellone, A; Benini, M; Moscato, U
Tactics for translation of tableau in natural deduction
1999 Avellone, A; Benini, M; Moscato, U
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic
1998 Avellone, A; Ferrari, M; Miglioli, P; Moscato, U
A tableau calculus for Dummett predicate logic
1996 Avellone, A; Ferrari, M; Miglioli, P; Moscato, U
Titolo | Tipologia | Data di pubblicazione | Autori | File |
---|---|---|---|---|
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic | 02 - Intervento a convegno | 2002 | AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE | |
A Formal Framework for Synthesis and Verification of Logic Programs | 03 - Contributo in libro | 2001 | AVELLONE, ALESSANDRO + | |
How to avoid the formal verification of a theorem prover | 01 - Articolo su rivista | 2001 | AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE + | |
Tactics for translation of tableau in natural deduction | 02 - Intervento a convegno | 1999 | AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE + | |
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic | 02 - Intervento a convegno | 1998 | AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE + | |
A tableau calculus for Dummett predicate logic | 03 - Contributo in libro | 1996 | AVELLONE, ALESSANDROMOSCATO, UGO EMANUELE + |
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