PD Dr. Christine Gaßner

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)