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/padl/GuzmanCH09
%A de Guzmán, Pablo Chico
%A Carro, Manuel
%A Hermenegildo, Manuel V.
%B PADL
%D 2009
%E Gill, Andy
%E Swift, Terrance
%I Springer
%K dblp
%P 224-238
%T Towards a Complete Scheme for Tabled Execution Based on Program Transformation.
%U http://dblp.uni-trier.de/db/conf/padl/padl2009.html#GuzmanCH09
%V 5418
%@ 978-3-540-92994-9
@inproceedings{conf/padl/GuzmanCH09,
added-at = {2019-10-19T00:00:00.000+0200},
author = {de Guzmán, Pablo Chico and Carro, Manuel and Hermenegildo, Manuel V.},
biburl = {https://www.bibsonomy.org/bibtex/21da229e4037329a497bb90e269f48e3d/dblp},
booktitle = {PADL},
crossref = {conf/padl/2009},
editor = {Gill, Andy and Swift, Terrance},
ee = {https://doi.org/10.1007/978-3-540-92995-6_16},
interhash = {72887f004199d6db207f58388542e7c3},
intrahash = {1da229e4037329a497bb90e269f48e3d},
isbn = {978-3-540-92994-9},
keywords = {dblp},
pages = {224-238},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-10-22T14:43:27.000+0200},
title = {Towards a Complete Scheme for Tabled Execution Based on Program Transformation.},
url = {http://dblp.uni-trier.de/db/conf/padl/padl2009.html#GuzmanCH09},
volume = 5418,
year = 2009
}