Kontakt
Institut für Mathematik und Informatik
Walther-Rathenau-Str. 47
17489 Greifswald
Telefon +49 3834 420 4610
Telefax +49 3834 420 4640
Sprechzeiten
nach Vereinbarung per E-Mail
Aktuelles
Arbeitstreffen 2017
Vom 06. August 2017 bis zum 11. August 2017 fand ein Arbeitstreffen zum Thema „Berechenbarkeit und Reduzierbarkeit" in Kloster auf Hiddensee statt.
siehe dazu auch: Preprint 2 2017.
CCA 2017 (Vortrag)
Christine Gaßner, Arno Pauly und Florian Steinberg: Computing measures as a primitive operation (Proceedings)
siehe dazu auch: Preprint 1 2017.
Vortrag
Florian Steinberg (Darmstadt): Berechenbare Analysis und Weihrauch-Reduktionen
14.6.2017, 10:30 Uhr, SR 2, Franz-Mehring-Str. 48
Neuere Arbeiten
C. Gaßner: Deterministic Operators for BSS RAM's I (extended abstract).
Preprint-Reihe Ag Berechenbarkeitstheorie über algebraischen Strukturen Greifswald,
Preprint 1 2017 (Version 3. April 2017).
C. Gaßner: Computation over Algebraic Structures and a Classification of Undecidable Problems.
Mathematical Structures in Computer Science,
Available on CJO 2016 doi:10.1017/S0960129516000116 (Online: MSCS)
Zu den Arbeitstreffen bis 2017
Eine Idee zur Konstruktion von Strukturen mit P = NP
