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
News
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
MCU 2018, MCU 2020, (Program Committee Member)
C. Gaßner: An introduction to a model of abstract computation: the BSS-RAM model (see also Publications)
Now online available: Gaßner: Das Auswahlaxiom im Prädikatenkalkül zweiter Stufe (The Axiom of Choice in the Second-Order Logic), Dissertation, 1984, pdf
Visit at Jiangsu University (2018)
Dagstuhl Seminar 18361
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (2018)