作 者:Javier Romero ;Torsten Schaub ;Philipp Wanko
出 处:OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-14.doi:10.4230/OASIcs.ICLP.2016.3
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848959
作 者:Philipp Wanko
出 处:OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-11.doi:10.4230/OASIcs.ICLP.2016.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848979
作 者:Martin Gebser ;Roland Kaminski ;Benjamin Kaufmann 等
出 处:OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-15.doi:10.4230/OASIcs.ICLP.2016.2
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848980