Schuster, Peter Michael

Schuster, Peter Michael  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.11 secondi).
Titolo Data di pubblicazione Autore(i) File
`A direct proof of Wiener's theorem' 1-gen-2012 Hendtlass, M; Schuster, Peter Michael
`Induction in algebra: a first case study' 1-gen-2012 Schuster, Peter Michael
`Kronecker's density theorem and irrational numbers in constructive reverse mathematics' 1-gen-2010 Ishihara, H; Schuster, Peter Michael
`The shrinking principle and the axiom of choice' 1-gen-2007 Banaschewski, B; Schuster, Peter Michael
A Constructive Picture of Noetherian Conditions and Well Quasi-orders 1-gen-2023 Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo
A General Constructive Form of Higman’s Lemma 1-gen-2024 Berardi, Stefano; Buriola, Gabriele; Schuster, Peter
A General Extension Theorem for Directed-Complete Partial Orders 1-gen-2018 Schuster, P; Wessel, D
A General Glivenko–Gödel Theorem for Nuclei 1-gen-2021 Fellin, Giulio; Schuster, Peter
A generalised cut characterisation of the fullness axiom in CZF 1-gen-2013 Crosilla, L; Palmgren, E; Schuster, Peter Michael
A predicative completion of a uniform space 1-gen-2012 Berger, J; Ishihara, H; Palmgren, E; Schuster, Peter Michael
A universal algorithm for Krull's theorem 1-gen-2022 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
A universal Krull–Lindenbaum theorem 1-gen-2016 Rinaldi, Davide; Schuster, Peter Michael
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 1-gen-2019 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE 1-gen-2014 Bruni, Riccardo; Schuster, Peter Michael
Are There Enough Injective Sets? 1-gen-2013 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter Michael
Concepts of Proof in Mathematics, Philosophy, and Computer Science 1-gen-2016 Schuster, Peter Michael; Probst, Dieter
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction 1-gen-2016 Schuster, Peter Michael; Probst, Dieter
Constructing Gröbner bases for Noetherian rings 1-gen-2014 Perdry, Hervé; Schuster, Peter Michael
Der Satz von Hahn-Banach per Disjunktionselimination 1-gen-2019 Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel
Dynamic evaluation of integrity and the computational content of Krull's lemma 1-gen-2022 Schuster, Peter; Wessel, Daniel; Yengui, Ihsen