Schuster, Peter Michael
Schuster, Peter Michael
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.001 secondi).
Concepts of Proof in Mathematics, Philosophy, and Computer Science
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Logic, Construction, Computation
2012-01-01 Berger, Ulrich; Diener, Hannes; Schuster, Peter Michael; Seisenberger, Monika
Mathematics for Computation (M4C)
2023-01-01 Benini, Marco; Beyersdorff, Olaf; Rathjen, Michael; Schuster, Peter
Mathesis Universalis, Computability and Proof
2019-01-01 Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification
2021-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Well-Quasi Orders in Computation, Logic, Language and Reasoning. A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
2020-01-01 Seisenberger, Monika; Schuster, Peter; Weiermann, Andreas
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Concepts of Proof in Mathematics, Philosophy, and Computer Science | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
| Logic, Construction, Computation | 1-gen-2012 | Berger, Ulrich; Diener, Hannes; Schuster, Peter Michael; Seisenberger, Monika | |
| Mathematics for Computation (M4C) | 1-gen-2023 | Benini, Marco; Beyersdorff, Olaf; Rathjen, Michael; Schuster, Peter | |
| Mathesis Universalis, Computability and Proof | 1-gen-2019 | Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter | |
| Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification | 1-gen-2021 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut | |
| Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut | |
| 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 |