作 者:Bryan Silverthorn ;Yuliya Lierler ;Marius Schneider
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:164-175.doi:10.4230/LIPIcs.ICLP.2012.164
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846111
作 者:Marc Denecker ;Yuliya Lierler ;Miroslaw Truszczynski 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:277-289.doi:10.4230/LIPIcs.ICLP.2012.277
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846121
作 者:Benjamin Susman ;Yuliya Lierler
出 处:OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-15.doi:10.4230/OASIcs.ICLP.2016.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848958
作 者:Broes De Cat ;Yuliya Lierler
出 处:OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-15.doi:10.4230/OASIcs.ICLP.2016.12
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848968
作 者:Da Shen ;Yuliya Lierler
出 处:OASIcs : OpenAccess Series in Informatics. 2018 ;64:1-15.doi:10.4230/OASIcs.ICLP.2018.11
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213729
作 者:Craig Olson ;Yuliya Lierler
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;306:87-100.doi:10.4204/EPTCS.306.16
出 版 社:Open Publishing Association
文 章 ID:1034807939