On the Limitations of Ordered Representations of Functions

Jayram S. Thathachar. On the Limitations of Ordered Representations of Functions. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 232-243, Springer, 1998.

@inproceedings{Thathachar98,
  title = {On the Limitations of Ordered Representations of Functions},
  author = {Jayram S. Thathachar},
  year = {1998},
  researchr = {https://researchr.org/publication/Thathachar98},
  cites = {0},
  citedby = {0},
  pages = {232-243},
  booktitle = {Computer Aided Verification, 10th International Conference, CAV  98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  editor = {Alan J. Hu and Moshe Y. Vardi},
  volume = {1427},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64608-6},
}