Church-Rosser Properties of Weakly Terminating Term Rewriting Systems

Cite

Text

Jouannaud et al. "Church-Rosser Properties of Weakly Terminating Term Rewriting Systems." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Jouannaud et al. "Church-Rosser Properties of Weakly Terminating Term Rewriting Systems." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/jouannaud1983ijcai-church/)

BibTeX

@inproceedings{jouannaud1983ijcai-church,
  title     = {{Church-Rosser Properties of Weakly Terminating Term Rewriting Systems}},
  author    = {Jouannaud, Jean-Pierre and Kirchner, Hélène and Rémy, Jean-Luc},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {909-915},
  url       = {https://mlanthology.org/ijcai/1983/jouannaud1983ijcai-church/}
}