Login / Signup

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.

Raf CluckersJamshid DerakhshanEva LeenknegtAngus Macintyre
Published in: Ann. Pure Appl. Log. (2013)
Keyphrases
  • information retrieval
  • computer vision
  • finite number
  • unit length
  • database
  • artificial intelligence
  • image processing
  • database systems
  • data structure