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/GuzmanCHS12
%A de Guzmán, Pablo Chico
%A Carro, Manuel
%A Hermenegildo, Manuel V.
%A Stuckey, Peter J.
%B FLOPS
%D 2012
%E Schrijvers, Tom
%E Thiemann, Peter
%I Springer
%K dblp
%P 104-119
%T A General Implementation Framework for Tabled CLP.
%U http://dblp.uni-trier.de/db/conf/flops/flops2012.html#GuzmanCHS12
%V 7294
%@ 978-3-642-29821-9
@inproceedings{conf/flops/GuzmanCHS12,
added-at = {2019-10-19T00:00:00.000+0200},
author = {de Guzmán, Pablo Chico and Carro, Manuel and Hermenegildo, Manuel V. and Stuckey, Peter J.},
biburl = {https://www.bibsonomy.org/bibtex/2d4ebf8c7f745e3224b53541cec3c78ef/dblp},
booktitle = {FLOPS},
crossref = {conf/flops/2012},
editor = {Schrijvers, Tom and Thiemann, Peter},
ee = {https://doi.org/10.1007/978-3-642-29822-6_11},
interhash = {950349c937ca41aa1e2785c120e47870},
intrahash = {d4ebf8c7f745e3224b53541cec3c78ef},
isbn = {978-3-642-29821-9},
keywords = {dblp},
pages = {104-119},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-03-24T11:40:18.000+0100},
title = {A General Implementation Framework for Tabled CLP.},
url = {http://dblp.uni-trier.de/db/conf/flops/flops2012.html#GuzmanCHS12},
volume = 7294,
year = 2012
}