On computable self-embeddings of computable linear orderings.

Rodney G. Downey Bart Kastermans Steffen Lempp

Published in: J. Symb. Log. (2009)

Keyphrases

turing machine
low dimensional
similarity search
real time
multi agent
neural network
closed form
linear systems
finite sets