Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christoph Beierle, Gregor Meyer, Heiner Semle. Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. In ISLP. pages 272-286, 1991.

@inproceedings{BeierleMS91,
  title = {Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution},
  author = {Christoph Beierle and Gregor Meyer and Heiner Semle},
  year = {1991},
  tags = {abstract machine},
  researchr = {https://researchr.org/publication/BeierleMS91},
  cites = {0},
  citedby = {0},
  pages = {272-286},
  booktitle = {ISLP},
}

runs on WebDSL