76 citations · 440 across the 53 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
Covering the recursive sets
Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn
We give solutions to two of the questions in a paper by Brendle, Brooke-Taylor, Ng and Nies. Our examples derive from a 2014 construction by Khan and Miller as well as new direct c…
cs.CR2017
Superposition as memory: unlocking quantum automatic complexity
Bjørn Kjos-Hanssen
Imagine a lock with two states, "locked" and "unlocked", which may be manipulated using two operations, called 0 and 1. Moreover, the only way to (with certainty) unlock using four…