Schuster, Peter Michael

Schuster, Peter Michael  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.007 secondi).
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