Inproceedings,
ELPI: Fast, Embeddable, λProlog Interpreter.
C. Dunchev, F. Guidi, C. Coen, and E. Tassi.LPAR, volume 9450 of Lecture Notes in Computer Science, page 460-468. Springer, (2015)
Meta data
- BibTeX key
- conf/lpar/DunchevGCT15
- entry type
- inproceedings
- booktitle
- LPAR
- year
- 2015
- pages
- 460-468
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9450
- crossref
- conf/lpar/2015
- ee
- https://doi.org/10.1007/978-3-662-48899-7_32
- isbn
- 978-3-662-48898-0
- url
- http://dblp.uni-trier.de/db/conf/lpar/lpar2015.html#DunchevGCT15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lpar/DunchevGCT15
%A Dunchev, Cvetan
%A Guidi, Ferruccio
%A Coen, Claudio Sacerdoti
%A Tassi, Enrico
%B LPAR
%D 2015
%E Davis, Martin
%E Fehnker, Ansgar
%E McIver, Annabelle
%E Voronkov, Andrei
%I Springer
%K dblp
%P 460-468
%T ELPI: Fast, Embeddable, λProlog Interpreter.
%U http://dblp.uni-trier.de/db/conf/lpar/lpar2015.html#DunchevGCT15
%V 9450
%@ 978-3-662-48898-0
@inproceedings{conf/lpar/DunchevGCT15,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Dunchev, Cvetan and Guidi, Ferruccio and Coen, Claudio Sacerdoti and Tassi, Enrico},
biburl = {https://www.bibsonomy.org/bibtex/244ac593aaf791febc9514e168705d04d/dblp},
booktitle = {LPAR},
crossref = {conf/lpar/2015},
editor = {Davis, Martin and Fehnker, Ansgar and McIver, Annabelle and Voronkov, Andrei},
ee = {https://doi.org/10.1007/978-3-662-48899-7_32},
interhash = {62ad19208b0f14ee108844ab63eeec09},
intrahash = {44ac593aaf791febc9514e168705d04d},
isbn = {978-3-662-48898-0},
keywords = {dblp},
pages = {460-468},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:16:17.000+0200},
title = {ELPI: Fast, Embeddable, λProlog Interpreter.},
url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2015.html#DunchevGCT15},
volume = 9450,
year = 2015
}