Blechschmidt, Ingo
Blechschmidt, Ingo
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
A Constructive Picture of Noetherian Conditions and Well Quasi-orders
2023-01-01 Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo
Maximal Ideals in Countable Rings, Constructively
2022-01-01 Blechschmidt, I; Schuster, P
Reifying dynamical algebra: Maximal ideals in countable rings, constructively
2024-01-01 Blechschmidt, Ingo; Schuster, Peter
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Constructive Picture of Noetherian Conditions and Well Quasi-orders | 1-gen-2023 | Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo | |
Maximal Ideals in Countable Rings, Constructively | 1-gen-2022 | Blechschmidt, I; Schuster, P | |
Reifying dynamical algebra: Maximal ideals in countable rings, constructively | 1-gen-2024 | Blechschmidt, Ingo; Schuster, Peter |