Login / Signup

The elementary theory of Dedekind cuts in polynomially bounded structures.

Marcus Tressl
Published in: Ann. Pure Appl. Log. (2005)
Keyphrases
  • polynomially bounded
  • theoretical framework
  • general theory
  • case study
  • theoretical basis
  • databases
  • formal theory
  • database
  • data mining
  • web services
  • high level
  • wide range
  • video sequences
  • computational model
  • set theory