A Formal Model for Or-Parallel Execution of Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrzej Ciepielewski, Seif Haridi. A Formal Model for Or-Parallel Execution of Logic Programs. In IFIP Congress. pages 299-305, 1983.

@inproceedings{CiepielewskiH83,
  title = {A Formal Model for Or-Parallel Execution of Logic Programs},
  author = {Andrzej Ciepielewski and Seif Haridi},
  year = {1983},
  tags = {parallel programming, logic programming, logic},
  researchr = {https://researchr.org/publication/CiepielewskiH83},
  cites = {0},
  citedby = {0},
  pages = {299-305},
  booktitle = {IFIP Congress},
}

runs on WebDSL