Article,
An overview of Ciao and its design philosophy.
M. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. Morales, and G. Puebla.Theory Pract. Log. Program., 12 (1-2): 219-252 (2012)
Meta data
- BibTeX key
- journals/tplp/HermenegildoBCLMMP12
- entry type
- article
- year
- 2012
- journal
- Theory Pract. Log. Program.
- number
- 1-2
- pages
- 219-252
- volume
- 12
- ee
- https://doi.org/10.1017/S1471068411000457
- url
- http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#HermenegildoBCLMMP12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/tplp/HermenegildoBCLMMP12
%A Hermenegildo, Manuel V.
%A Bueno, Francisco
%A Carro, Manuel
%A López-García, Pedro
%A Mera, Edison
%A Morales, José F.
%A Puebla, Germán
%D 2012
%J Theory Pract. Log. Program.
%K dblp
%N 1-2
%P 219-252
%T An overview of Ciao and its design philosophy.
%U http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#HermenegildoBCLMMP12
%V 12
@article{journals/tplp/HermenegildoBCLMMP12,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Hermenegildo, Manuel V. and Bueno, Francisco and Carro, Manuel and López-García, Pedro and Mera, Edison and Morales, José F. and Puebla, Germán},
biburl = {https://www.bibsonomy.org/bibtex/28b0a74fd17112076cfe2b48b0cdaefcc/dblp},
ee = {https://doi.org/10.1017/S1471068411000457},
interhash = {6aaf559b6bc5285e72ab3c2fa37269a1},
intrahash = {8b0a74fd17112076cfe2b48b0cdaefcc},
journal = {Theory Pract. Log. Program.},
keywords = {dblp},
number = {1-2},
pages = {219-252},
timestamp = {2024-04-09T05:34:36.000+0200},
title = {An overview of Ciao and its design philosophy.},
url = {http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#HermenegildoBCLMMP12},
volume = 12,
year = 2012
}