Login / Signup
Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.
Nikolai Kossovski
Artem Tishkov
Published in:
Sci. Ann. Cuza Univ. (1998)
Keyphrases
</>
quantifier free
first order logic
quantifier elimination
rewrite systems
computational complexity
relational data model
term rewriting