PD Dr. Christine Gaßner
Contact Information
Institute of Mathematics and Computer Science
Walther-Rathenau-Str. 47
17489 Greifswald, Germany
Phone +49 3834 420 4610
ORCID: 0009-0005-5163-4681
News
Gaßner: Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms (Preprint)
Gaßner: Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms (Preprint)
Gaßner: Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs (Preprint and more)
Main Topics of the Arbeitstreffen
