Simulation of simultaneous safe recursion over an arbitrary structure
From MaRDI portal
Publication:845681
DOI10.1016/j.ipl.2006.03.003zbMath1184.68254MaRDI QIDQ845681
Publication date: 29 January 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2006.03.003
computational complexity; theory of computation; safe recursion; BSS-machines; projective Turing machines
Cites Work