A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.
E. Johnson, C. Ramakrishnan, I. Ramakrishnan, and P. Rao. Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 284-300. Springer, (1999)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/flops/JohnsonRRR99
%A Johnson, Ernie
%A Ramakrishnan, C. R.
%A Ramakrishnan, I. V.
%A Rao, Prasad
%B Fuji International Symposium on Functional and Logic Programming
%D 1999
%E Middeldorp, Aart
%E Sato, Taisuke
%I Springer
%K dblp
%P 284-300
%T A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.
%U http://dblp.uni-trier.de/db/conf/flops/flops99.html#JohnsonRRR99
%V 1722
%@ 3-540-66677-X
@inproceedings{conf/flops/JohnsonRRR99,
added-at = {2023-04-03T00:00:00.000+0200},
author = {Johnson, Ernie and Ramakrishnan, C. R. and Ramakrishnan, I. V. and Rao, Prasad},
biburl = {https://www.bibsonomy.org/bibtex/296108422b7f35435528ac38e61e12da1/dblp},
booktitle = {Fuji International Symposium on Functional and Logic Programming},
crossref = {conf/flops/1999},
editor = {Middeldorp, Aart and Sato, Taisuke},
ee = {https://doi.org/10.1007/10705424_19},
interhash = {7dd7eeba76998d02d5df3be88cd797f5},
intrahash = {96108422b7f35435528ac38e61e12da1},
isbn = {3-540-66677-X},
keywords = {dblp},
pages = {284-300},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T16:52:47.000+0200},
title = {A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.},
url = {http://dblp.uni-trier.de/db/conf/flops/flops99.html#JohnsonRRR99},
volume = 1722,
year = 1999
}