Schuster, Peter Michael
Schuster, Peter Michael
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.012 secondi).
`A direct proof of Wiener's theorem'
2012-01-01 Hendtlass, M; Schuster, Peter Michael
`Induction in algebra: a first case study'
2012-01-01 Schuster, Peter Michael
A Constructive Picture of Noetherian Conditions and Well Quasi-orders
2023-01-01 Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo
A General Constructive Form of Higman’s Lemma
2024-01-01 Berardi, Stefano; Buriola, Gabriele; Schuster, Peter
A General Glivenko–Gödel Theorem for Nuclei
2021-01-01 Fellin, Giulio; Schuster, Peter
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra
2019-01-01 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
Maximal Ideals in Countable Rings, Constructively
2022-01-01 Blechschmidt, I; Schuster, P
Modal logic for induction
2020-01-01 Schuster, Peter; Negri, Sara; Fellin, Giulio
Resolving finite indeterminacy
2020-01-01 Schuster, Peter Michael; Wessel, Daniel
The Computational Significance of Hausdorff’s Maximal Chain Principle
2020-01-01 Schuster, Peter Michael; Wessel, Daniel
| 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 |