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/iclp/ChengER90
%A Cheng, Mantis H. M.
%A van Emden, Maarten H.
%A Richards, B. E.
%B ICLP
%D 1990
%E Warren, David H. D.
%E Szeredi, Péter
%I MIT Press
%K dblp
%P 546-560
%T On Warren's Method for Functional Programming in Logic.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp90.html#ChengER90
%@ 0-262-73090-1
@inproceedings{conf/iclp/ChengER90,
added-at = {2013-11-29T00:00:00.000+0100},
author = {Cheng, Mantis H. M. and van Emden, Maarten H. and Richards, B. E.},
biburl = {https://www.bibsonomy.org/bibtex/2a7d1830002fcf362abe0856d9a939bfc/dblp},
booktitle = {ICLP},
crossref = {conf/iclp/1990},
editor = {Warren, David H. D. and Szeredi, Péter},
interhash = {80b6df7911ede971acd795b4e8ef044e},
intrahash = {a7d1830002fcf362abe0856d9a939bfc},
isbn = {0-262-73090-1},
keywords = {dblp},
pages = {546-560},
publisher = {MIT Press},
timestamp = {2013-11-30T11:32:39.000+0100},
title = {On Warren's Method for Functional Programming in Logic.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp90.html#ChengER90},
year = 1990
}
