ML Anthology

On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF

Jacek Leszczylowski
AAAI 1980 pp. 84-86
/aaai/1980/leszczylowski1980aaai-proving/
PDF AAAI Semantic Scholar

Cite

Text

Leszczylowski. "On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF." AAAI Conference on Artificial Intelligence, 1980.

Markdown

[Leszczylowski. "On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF." AAAI Conference on Artificial Intelligence, 1980.](https://mlanthology.org/aaai/1980/leszczylowski1980aaai-proving/)

BibTeX

@inproceedings{leszczylowski1980aaai-proving,
  title     = {{On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF}},
  author    = {Leszczylowski, Jacek},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1980},
  pages     = {84-86},
  url       = {https://mlanthology.org/aaai/1980/leszczylowski1980aaai-proving/}
}