License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2017
URN: urn:nbn:de:0030-drops-85407
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/8540/
Rocha, Ricardo ;
Son, Tran Cao ;
Mears, Christopher ;
Saeedloei, Neda
OASIcs, Volume 58, ICLP'17, Complete Volume
Abstract
OASIcs, Volume 58, ICLP'17, Complete Volume
BibTeX - Entry
@Proceedings{rocha_et_al:OASIcs.ICLP.2017,
title = {{OASIcs, Volume 58, ICLP'17, Complete Volume}},
booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-058-3},
ISSN = {2190-6807},
year = {2018},
volume = {58},
editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2018/8540},
URN = {urn:nbn:de:0030-drops-85407},
doi = {10.4230/OASIcs.ICLP.2017},
annote = {Keywords: Logic Programming, Software/Program Verification, Testing and Debugging, Programming Languages, Language Classifications}
}
Keywords: |
|
Logic Programming, Software/Program Verification, Testing and Debugging, Programming Languages, Language Classifications |
Collection: |
|
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017) |
Issue Date: |
|
2018 |
Date of publication: |
|
21.02.2018 |