作 者:Slim Abdennadher ;Nada Sharaf
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:109-118.doi:10.4230/LIPIcs.ICLP.2012.109
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846106
作 者:Nada Sharaf ;Slim Abdennadher ;Thom Fr{\"u}hwirth
出 处:OASIcs : OpenAccess Series in Informatics. 2018 ;64:1-20.doi:10.4230/OASIcs.ICLP.2018.5
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213723