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

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 2018MCU 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)

Main Topics of the Arbeitstreffen