PD Dr. Christine Gaßner

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

Gaßner: Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs (Preprint and more)

Project: The Axiom AC in HPL

Project: A BSS-RAM Model for Abstract Computation