Sign in
An algebraic treatment of quantifier-free systems of arithmetic.
Franco Montagna
Published in:
Arch. Math. Log. (1996)
Keyphrases
</>
quantifier free
rewrite systems
database systems
object oriented databases