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
Fax +49 3834 420 4640


gassnercuni-greifswaldde

News

2021: Gaßner, Arno Pauly, Florian Steinberg: Computing Measure as a Primitive Operation in Real Number Computation, LIPICS Vol. 183. ISBN 978-3-95977-175-7. CSL 2021 (see also CSL 2021 YouTube channelEACSL).

2020: Gaßner: An Introduction to a Model of Abstract Computation, in: Adrian Rezus (ed.), Contemporary Logic and Computing, College Publications, London (2020) [Landscapes in Logic 1], pp. 574–603. ISBN 978-1-84890-340-1 (Contents).  Landscapes in Logic: Series edited by Ali Sadegh Daghighi, Jamshid Derakhshan, Melvin Fitting, Dov Gabbay, Massoud Pourmahdian, and Adrian Rezus.

Main Topics of the Arbeitstreffen