ML Anthology

Concurrency in Proof Normalization and Logic Programming

Shigeki Goto
IJCAI 1985 pp. 726-729
/ijcai/1985/goto1985ijcai-concurrency/
PDF IJCAI Semantic Scholar

Cite

Text

Goto. "Concurrency in Proof Normalization and Logic Programming." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Goto. "Concurrency in Proof Normalization and Logic Programming." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/goto1985ijcai-concurrency/)

BibTeX

@inproceedings{goto1985ijcai-concurrency,
  title     = {{Concurrency in Proof Normalization and Logic Programming}},
  author    = {Goto, Shigeki},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {726-729},
  url       = {https://mlanthology.org/ijcai/1985/goto1985ijcai-concurrency/}
}