Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.

Published in Volume VIII, 1998, pages 114-120

Authors: Kossovski NIKOLAI, Tishkov ARTEM

Bibtex

@article{sacscuza:nikolai1998sbqtosiacoid,
  title={Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.},
  author={Kossovski NIKOLAI and Tishkov ARTEM},
  journal={Scientific Annals of Computer Science},
  volume={8},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={1998},
  pages={114--120},
  publisher={``A.I. Cuza'' University Press}
}