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