ML Anthology

Modal Theorem Proving: An Equational Viewpoint

Yves Auffray, Patrice Enjalbert
IJCAI 1989 pp. 441-445
doi:10.1093/logcom/2.3.247 /ijcai/1989/auffray1989ijcai-modal/

Abstract

From the Canadian perspective, there are opportunities to improve accessibility of OUD care by drawing on how different jurisdictions incorporate multidisciplinary care, regulate OAT medications, remunerate healthcare professionals, and provide funding for services.

PDF Semantic Scholar

Cite

Text

Auffray and Enjalbert. "Modal Theorem Proving: An Equational Viewpoint." International Joint Conference on Artificial Intelligence, 1989. doi:10.1093/logcom/2.3.247

Markdown

[Auffray and Enjalbert. "Modal Theorem Proving: An Equational Viewpoint." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/auffray1989ijcai-modal/) doi:10.1093/logcom/2.3.247

BibTeX

@inproceedings{auffray1989ijcai-modal,
  title     = {{Modal Theorem Proving: An Equational Viewpoint}},
  author    = {Auffray, Yves and Enjalbert, Patrice},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1989},
  pages     = {441-445},
  doi       = {10.1093/logcom/2.3.247},
  url       = {https://mlanthology.org/ijcai/1989/auffray1989ijcai-modal/}
}