According to our database1, Christine Gaßner authored at least 10 papers between 1994 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Computation over algebraic structures and a classification of undecidable problems.
Mathematical Structures in Computer Science, 2017
Strong Turing Degrees for Additive BSS RAM's.
Logical Methods in Computer Science, 2013
The Separation of Relativized Versions of P and DNP for the Ring of the Reals.
J. UCS, 2010
Oracles and Relativizations of the P =? NP Question for Several Structures.
J. UCS, 2009
Relativizations of the P =? DNP Question for the BSS Model.
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009
A Hierarchy below the Halting Problem for Additive Machines.
Theory Comput. Syst., 2008
On Relativizations of the P =? NP Question for Several Structures.
Electr. Notes Theor. Comput. Sci., 2008
The P-DNP Problem for Infinite Abelian Groups.
J. Complexity, 2001
On NP-Completeness for Linear Machines.
J. Complexity, 1997
The Axiom of Choice in Second-Order Predicate Logic.
Math. Log. Q., 1994