An Algorithm for Reasoning About Equality

Shostak, Robert E.

An Algorithm for Reasoning About Equality

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 526-526.

Abstract

Robert E. Shostak. 1977. An Algorithm for Reasoning About Equality. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 526–526. https://ijcai.org/proceedings/1977/119

@inproceedings{ijcai1977p119,
  title     = {An Algorithm for Reasoning About Equality},
  author    = {Shostak, Robert E.},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {526--526},
  year      = {1977},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1977/119},
}

TY  - CPAPER
TI  - An Algorithm for Reasoning About Equality
AU  - Shostak, Robert E.
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 526
EP  - 526
UR  - https://ijcai.org/proceedings/1977/119
ER  -