Login / Signup

Elimination of quantifiers for a theory of real closed rings.

Jorge I. Guier
Published in: Ann. Pure Appl. Log. (2025)
Keyphrases
  • real life
  • theoretical basis
  • databases
  • database
  • real world
  • real time
  • computational complexity
  • artificial neural networks
  • special case
  • computational model
  • theoretical framework
  • first order logic