Login / Signup

Computational inductive definability.

Dexter Kozen
Published in: Ann. Pure Appl. Log. (2004)
Keyphrases
  • machine learning
  • inductive reasoning
  • real time
  • multiscale