2 citations · 2 across the 1 of their papers we have counts for
1 paper
Christine Gaßner
For the additive real BSS machines using only constants 0 and 1 and order tests we consider the corresponding Turing reducibility and characterize some semi-decidable decision prob…