Document Open Access Logo

OASIcs, Volume 58, ICLP'17, Complete Volume

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



PDF
Thumbnail PDF

File

OASIcs.ICLP.2017.pdf
  • Filesize: 6.37 MB
  • 158 pages

Document Identifiers

Author Details

Ricardo Rocha
Tran Cao Son
Christopher Mears
Neda Saeedloei

Cite AsGet BibTex

Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei. OASIcs, Volume 58, ICLP'17, Complete Volume. In 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
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail