Schuster, Peter Michael

Schuster, Peter Michael  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.013 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
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 Glivenko–Gödel Theorem for Nuclei 1-gen-2021 Fellin, Giulio; Schuster, Peter
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 1-gen-2019 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
Maximal Ideals in Countable Rings, Constructively 1-gen-2022 Blechschmidt, I; Schuster, P
Modal logic for induction 1-gen-2020 Schuster, Peter; Negri, Sara; Fellin, Giulio
Resolving finite indeterminacy 1-gen-2020 Schuster, Peter Michael; Wessel, Daniel
The Computational Significance of Hausdorff’s Maximal Chain Principle 1-gen-2020 Schuster, Peter Michael; Wessel, Daniel