Multithreaded Tabling for Logic Programming

Miguel Areias 0001. Multithreaded Tabling for Logic Programming. PhD thesis, University of Porto, Portugal, 2015. [doi]

@phdthesis{pt-368,
  title = {Multithreaded Tabling for Logic Programming},
  author = {Miguel Areias 0001},
  year = {2015},
  url = {https://hdl.handle.net/10216/78840},
  researchr = {https://researchr.org/publication/pt-368},
  cites = {0},
  citedby = {0},
  school = {University of Porto, Portugal},
}