PD Dr. Christine Gaßner

Gaßner: Abstract computation over first-order structures:Sufficient conditions for the existence of universal BSS RAMs (Logic group Verona, Abstract, Some of the slides)

Gaßner: Abstract computation over first-order structures: Universal BSS RAMs and their complexity (Logic group Leeds, Abstract, Some of the slides)

Gaßner: Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms (Preprint)