Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 13 di 13
Titolo Data di pubblicazione Autore(i) File
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION 1-gen-2017 Rinaldi, Davide; Schuster, Peter Michael; 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
Suzumura consistency, an alternative approach 1-gen-2018 Schuster, Peter Michael; Wessel, Daniel
Eliminating disjunctions by disjunction elimination 1-gen-2018 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
A General Extension Theorem for Directed-Complete Partial Orders 1-gen-2018 Schuster, P; Wessel, D
Der Satz von Hahn-Banach per Disjunktionselimination 1-gen-2019 Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel
Some forms of excluded middle for linear orders 1-gen-2019 Schuster, Peter; Wessel, Daniel
The Computational Significance of Hausdorff’s Maximal Chain Principle 1-gen-2020 Schuster, Peter Michael; Wessel, Daniel
Resolving finite indeterminacy 1-gen-2020 Schuster, Peter Michael; Wessel, Daniel
Syntax for Semantics: Krull’s Maximal Ideal Theorem 1-gen-2021 Schuster, Peter; Wessel, Daniel
Dynamic evaluation of integrity and the computational content of Krull's lemma 1-gen-2022 Schuster, Peter; Wessel, Daniel; Yengui, Ihsen
The Jacobson Radical of a Propositional Theory In corso di stampa Fellin, Giulio; Schuster, Peter; Wessel, Daniel
Mostrati risultati da 1 a 13 di 13
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