CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 60
Titolo Data di pubblicazione Autore(i) File
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory 1-gen-2020 Seisenberger, Monika; Schuster, Peter; Weiermann, Andreas
On Scott’s semantics for many-valued logic 1-gen-2020 Niki, Satoru; Schuster, Peter
The Computational Significance of Hausdorff’s Maximal Chain Principle 1-gen-2020 Schuster, Peter Michael; Wessel, Daniel
Modal logic for induction 1-gen-2020 Schuster, Peter; Negri, Sara; Fellin, Giulio
Resolving finite indeterminacy 1-gen-2020 Schuster, Peter Michael; Wessel, Daniel
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification 1-gen-2021 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Preface 1-gen-2021 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
A General Glivenko–Gödel Theorem for Nuclei 1-gen-2021 Fellin, Giulio; Schuster, Peter
Syntax for Semantics: Krull’s Maximal Ideal Theorem 1-gen-2021 Schuster, Peter; Wessel, Daniel
The Jacobson radical for an inconsistency predicate 1-gen-2022 Schuster, Peter; Wessel, Daniel
The Jacobson Radical of a Propositional Theory 1-gen-2022 Fellin, Giulio; Schuster, Peter; Wessel, Daniel
Maximal Ideals in Countable Rings, Constructively 1-gen-2022 Blechschmidt, I; Schuster, P
Dynamic evaluation of integrity and the computational content of Krull's lemma 1-gen-2022 Schuster, Peter; Wessel, Daniel; Yengui, Ihsen
A universal algorithm for Krull's theorem 1-gen-2022 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
The Jacobson radical for an inconsistency predicate 1-gen-2022 Schuster, P; Wessel, D
Preface 1-gen-2023 Benini, Marco; Beyersdorff, Olaf; Rathjen, Michael; Schuster, Peter
Mathematics for Computation (M4C) 1-gen-2023 Benini, Marco; Beyersdorff, Olaf; Rathjen, Michael; Schuster, Peter
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 1-gen-2023 Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo
Radical theory of Scott-open filters 1-gen-2023 Misselbeck-Wessel, Daniel; Schuster, Peter
A General Constructive Form of Higman’s Lemma 1-gen-2024 Berardi, Stefano; Buriola, Gabriele; Schuster, Peter
Mostrati risultati da 41 a 60 di 60
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