Inproceedings,
Adding Constraint Solving to Mercury.
R. Becket, M. de la Banda, K. Marriott, Z. Somogyi, P. Stuckey, and M. Wallace.PADL, volume 3819 of Lecture Notes in Computer Science, page 118-133. Springer, (2006)
Meta data
- BibTeX key
- conf/padl/BecketBMSSW06
- entry type
- inproceedings
- booktitle
- PADL
- year
- 2006
- pages
- 118-133
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3819
- crossref
- conf/padl/2006
- ee
- https://doi.org/10.1007/11603023_9
- isbn
- 3-540-30947-0
- url
- http://dblp.uni-trier.de/db/conf/padl/padl2006.html#BecketBMSSW06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/padl/BecketBMSSW06
%A Becket, Ralph
%A de la Banda, Maria J. García
%A Marriott, Kim
%A Somogyi, Zoltan
%A Stuckey, Peter J.
%A Wallace, Mark
%B PADL
%D 2006
%E Hentenryck, Pascal Van
%I Springer
%K dblp
%P 118-133
%T Adding Constraint Solving to Mercury.
%U http://dblp.uni-trier.de/db/conf/padl/padl2006.html#BecketBMSSW06
%V 3819
%@ 3-540-30947-0
@inproceedings{conf/padl/BecketBMSSW06,
added-at = {2017-12-19T00:00:00.000+0100},
author = {Becket, Ralph and de la Banda, Maria J. García and Marriott, Kim and Somogyi, Zoltan and Stuckey, Peter J. and Wallace, Mark},
biburl = {https://www.bibsonomy.org/bibtex/2a51745cfeb69586ced051b27bc7ad23b/dblp},
booktitle = {PADL},
crossref = {conf/padl/2006},
editor = {Hentenryck, Pascal Van},
ee = {https://doi.org/10.1007/11603023_9},
interhash = {846ff5154a74b578511112698c8e9e4b},
intrahash = {a51745cfeb69586ced051b27bc7ad23b},
isbn = {3-540-30947-0},
keywords = {dblp},
pages = {118-133},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:45:11.000+0200},
title = {Adding Constraint Solving to Mercury.},
url = {http://dblp.uni-trier.de/db/conf/padl/padl2006.html#BecketBMSSW06},
volume = 3819,
year = 2006
}