Christine Gaßner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computing measure as a primitive operation in real number computation	2026-03-23	Paper
An introduction to a model of abstract computation: the BSS-RAM model	2021-08-03	Paper
Computation over algebraic structures and a classification of undecidable problems Mathematical Structures in Computer Science	2017-11-22	Paper
Strong Turing degrees for additive BSS RAM's Logical Methods in Computer Science	2014-01-08	Paper
On relativizations of the P =? NP question for several structures Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
Relativizations of the P =? DNP question for the BSS model	2012-09-28	Paper
The separation of relativized versions of P and DNP for the ring of the reals	2011-02-10	Paper
Oracles and relativizations of the P =? NP question for several structures	2009-10-28	Paper
A hierarchy below the halting problem for additive machines Theory of Computing Systems	2009-05-08	Paper
The P-DNP problem for infinite Abelian groups Journal of Complexity	2002-06-30	Paper
On NP-completeness for linear machines Journal of Complexity	1997-10-01	Paper
The Axiom of Choice in Second‐Order Predicate Logic Mathematical Logic Quarterly	1994-12-08	Paper

Research outcomes over time

This page was built for person: Christine Gaßner