Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
2017-01-01 Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel
Eliminating disjunctions by disjunction elimination
2018-01-01 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
Cut elimination for entailment relations
2018-01-01 Rinaldi, Davide; Wessel, Daniel
EXTENSION BY CONSERVATION. SIKORSKI'S THEOREM
2018-01-01 Rinaldi, D; Wessel, D
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION | 1-gen-2017 | Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel | |
Eliminating disjunctions by disjunction elimination | 1-gen-2018 | Rinaldi, Davide; Schuster, Peter; Wessel, Daniel | |
Cut elimination for entailment relations | 1-gen-2018 | Rinaldi, Davide; Wessel, Daniel | |
EXTENSION BY CONSERVATION. SIKORSKI'S THEOREM | 1-gen-2018 | Rinaldi, D; Wessel, D |
Mostrati risultati da 1 a 4 di 4
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