Media type: Text; E-Article; Electronic Conference Proceeding Title: LIPIcs, Volume 7, ICLP'10, Complete Volume Contributor: Hermenegildo, Manuel [Author]; Schaub, Torsten [Author] Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Language: English DOI: https://doi.org/10.4230/LIPIcs.ICLP.2010 Keywords: and Enhancement ; Concurrent Programming ; Mathematical Logic ; Models of Computation ; Language Classifications ; Modes of Computation ; Logic Programming ; Language Constructs and Features Software/ Program Verification ; Semantics of Programming Languages ; Maintenance ; Distribution Origination: University thesis: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: LIPIcs, Volume 7, ICLP'10, Complete Volume Access State: Open Access