Search dblp for Publications

• > Home > Search

@phdthesis{DBLP:phd/ethos/G13,
  author       = {Sriipriya G},
  title        = {Implementation methodology for using concurrent and collaborative
                  approaches for theorem provers, with case studies of {SAT} and {LCF}
                  style provers},
  school       = {University of Edinburgh, {UK}},
  year         = {2013}
}

@inproceedings{DBLP:conf/icfpc/Leszczylowski81,
  author       = {Jacek Leszczylowski},
  title        = {{FP} Systems in Edinburgh {LCF}},
  booktitle    = {{ICFPC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {107},
  pages        = {374--386},
  publisher    = {Springer},
  year         = {1981}
}

@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}
}

@inproceedings{DBLP:conf/cade/Leszczylowski80,
  author       = {Jacek Leszczylowski},
  title        = {An Experiment with "Edinburgh LCF"},
  booktitle    = {{CADE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {87},
  pages        = {170--181},
  publisher    = {Springer},
  year         = {1980}
}

@book{DBLP:books/sp/Gordon79,
  author       = {Michael J. C. Gordon and
                  Robin Milner and
                  Christopher P. Wadsworth},
  title        = {Edinburgh {LCF}},
  series       = {Lecture Notes in Computer Science},
  volume       = {78},
  publisher    = {Springer},
  year         = {1979}
}