Rewriting Regular Inequalities (Extended Abstract)

@inproceedings{Antimirov1995RewritingRI,
  title={Rewriting Regular Inequalities (Extended Abstract)},
  author={Valentin M. Antimirov},
  booktitle={FCT},
  year={1995}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…