Christine Gaßner

According to our database, Christine Gaßner authored at least 14 papers between 1994 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms.

Christine Gaßner

CoRR, July, 2025

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms.

Christine Gaßner

CoRR, April, 2025

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs.

Christine Gaßner

CoRR, February, 2025

2021

Computing Measure as a Primitive Operation in Real Number Computation.

Christine Gaßner, Arno Pauly, Florian Steinberg

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2017

Computation over algebraic structures and a classification of undecidable problems.

Christine Gaßner

Math. Struct. Comput. Sci., 2017

2013

Strong Turing Degrees for Additive BSS RAM's.

Christine Gaßner

Log. Methods Comput. Sci., 2013

2010

The Separation of Relativized Versions of P and DNP for the Ring of the Reals.

Christine Gaßner

J. Univers. Comput. Sci., 2010

2009

Oracles and Relativizations of the P =? NP Question for Several Structures.

Christine Gaßner

J. Univers. Comput. Sci., 2009

Relativizations of the P =? DNP Question for the BSS Model.

Christine Gaßner

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

A Hierarchy below the Halting Problem for Additive Machines.

Christine Gaßner

Theory Comput. Syst., 2008

On Relativizations of the P =? NP Question for Several Structures.

Christine Gaßner

Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

2001

The P-DNP Problem for Infinite Abelian Groups.

Christine Gaßner

J. Complex., 2001

1997

On NP-Completeness for Linear Machines.

Christine Gaßner

J. Complex., 1997

1994

The Axiom of Choice in Second-Order Predicate Logic.

Christine Gaßner

Math. Log. Q., 1994