PD Dr. Christine Gaßner
Kontakt
Institut für Mathematik und Informatik
Walther-Rathenau-Str. 47
17489 Greifswald
Telefon +49 3834 420 4610
Telefax +49 3834 420 4640
Sprechzeiten
Mo 13 Uhr - 14 Uhr und nach Vereinbarung per E-Mail
Aktuelles
MCU 2018 (Mitglied des Programmkomitees)
Dagstuhl Seminar 18361
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (2018)
C. Gaßner: Computation over Algebraic Structures and a Classification of Undecidable Problems.
Math. Struct. in Comp. Science (2017), vol. 27, pp. 1386–1413.
Verfügbar unter CJO 2016 doi:10.1017/S0960129516000116 (Online: MSCS)
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).
Zu den Arbeitstreffen bis 2017
Eine Idee zur Konstruktion von Strukturen mit P = NP
