BibTeX
@inproceedings{DBLP:conf/padl/SahaR06,
author = {Diptikalyan Saha and
C. R. Ramakrishnan},
title = {Incremental Evaluation of Tabled Prolog: Beyond Pure Logic
Programs},
booktitle = {PADL},
year = {2006},
pages = {215-229},
ee = {http://dx.doi.org/10.1007/11603023_15},
crossref = {DBLP:conf/padl/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/padl/2006,
editor = {Pascal Van Hentenryck},
title = {Practical Aspects of Declarative Languages, 8th International
Symposium, PADL 2006, Charleston, SC, USA, January 9-10,
2006, Proceedings},
booktitle = {PADL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3819},
year = {2006},
isbn = {3-540-30947-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-12-29 by Michael Ley (ley@uni-trier.de)