Christine Gaßner

14 papers B 1C 2Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs.
CoRR
Christine Gaßner
2025 J jnl
Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms.
CoRR
Christine Gaßner
2025 J jnl
Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms.
CoRR
Christine Gaßner
2021 B conf
Computing Measure as a Primitive Operation in Real Number Computation.
CSL
Christine Gaßner, Arno Pauly, Florian Steinberg
2017 J jnl
Computation over algebraic structures and a classification of undecidable problems.
Math. Struct. Comput. Sci.
Christine Gaßner
2013 J jnl
Strong Turing Degrees for Additive BSS RAM's.
Log. Methods Comput. Sci.
Christine Gaßner
2010 J jnl
The Separation of Relativized Versions of P and DNP for the Ring of the Reals.
J. Univers. Comput. Sci.
Christine Gaßner
2009 J jnl
Oracles and Relativizations of the P =? NP Question for Several Structures.
J. Univers. Comput. Sci.
Christine Gaßner
2009 C conf
Relativizations of the P =? DNP Question for the BSS Model.
CCA
Christine Gaßner
2008 J jnl
A Hierarchy below the Halting Problem for Additive Machines.
Theory Comput. Syst.
Christine Gaßner
2008 C conf
On Relativizations of the P =? NP Question for Several Structures.
CCA
Christine Gaßner
2001 J jnl
The P-DNP Problem for Infinite Abelian Groups.
J. Complex.
Christine Gaßner
1997 J jnl
On NP-Completeness for Linear Machines.
J. Complex.
Christine Gaßner
1994 J jnl
The Axiom of Choice in Second-Order Predicate Logic.
Math. Log. Q.
Christine Gaßner