OASIcs, Volume 58, ICLP'17, Complete Volume

Rocha, Ricardo; Son, Tran Cao; Mears, Christopher; Saeedloei, Neda

doi:10.4230/OASIcs.ICLP.2017

Document

OASIcs, Volume 58, ICLP'17, Complete Volume

Authors Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei

Part of: Volume: Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2018-02-21

PDF

File

OASIcs.ICLP.2017.pdf

Filesize: 6.37 MB
158 pages

Document Identifiers

DOI: 10.4230/OASIcs.ICLP.2017
URN: urn:nbn:de:0030-drops-85407

Author Details

Ricardo Rocha

Tran Cao Son

Christopher Mears

Neda Saeedloei

Cite AsGet BibTex

Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.ICLP.2017

Abstract

OASIcs, Volume 58, ICLP'17, Complete Volume

Keywords

Logic Programming, Software/Program Verification, Testing and Debugging, Programming Languages, Language Classifications

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail