Login / Signup

Transfinite progressions: a second look at completeness.

Torkel Franzén
Published in: Bull. Symb. Log. (2004)
Keyphrases
  • artificial intelligence
  • database systems
  • data management
  • dynamic environments
  • equational theories