Login / Signup
Interpreting Arithmetic in the First-order Theory of Addition and Coprimality of Polynomial Rings.
Javier Utreras
Published in:
J. Symb. Log. (2019)
Keyphrases
</>
quantifier free
first order logic
theoretical framework
real time
neural network
information systems
polynomial size
quantifier elimination
algebraic geometry
higher order
cellular automata
information theory
theoretical basis
rewrite systems