Minimality considerations for ordinal computers modeling constructibility.

Peter Koepke Ryan Siders

Published in: Theor. Comput. Sci. (2008)

Keyphrases

real time
data mining
image processing
computer systems
neural network
three dimensional
video sequences
partial order
computer technology
modeling language
modeling method
turing test