An Undecidable Linear Order That Is n-Decidable for All n.

John Chisholm Michael Moses

Published in: Notre Dame J. Formal Log. (1998)

Keyphrases

special case
real time
neural network
social networks
computer vision
information systems
artificial neural networks
least squares