作 者:Doleschal, Johannes ;Bratman, Noa ;Kimelfeld, Benny 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;186:10:1-10:20.doi:10.4230/LIPIcs.ICDT.2021.10
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:260022960
作 者:Livshits, Ester ;Kimelfeld, Benny
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;186:15:1-15:19.doi:10.4230/LIPIcs.ICDT.2021.15
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:260022965
作 者:Carmeli, Nofar ;Grohe, Martin ;Kimelfeld, Benny 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;186:16:1-16:17.doi:10.4230/LIPIcs.ICDT.2021.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:260022966
作 者:Amarilli, Antoine ;Kimelfeld, Benny
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;186:17:1-17:17.doi:10.4230/LIPIcs.ICDT.2021.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:260022967