BibTeX record conf/aaai/Leszczylowski80

download as .bib file

@inproceedings{DBLP:conf/aaai/Leszczylowski80,
  author    = {Jacek Leszczylowski},
  title     = {On Proving Laws of the Algebra of FP-Systems in Edinburgh {LCF}},
  booktitle = {{AAAI}},
  pages     = {84--86},
  publisher = {{AAAI} Press/MIT Press},
  year      = {1980}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics