作 者:Johan Van Benthem ;Balder Ten Cate ;Jouko Väänänen
出 处:Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:3)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47333304
作 者:Balder ten Cate ;Luc Segoufin
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:344-355.doi:10.4230/LIPIcs.STACS.2011.344
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845826
作 者:Balder ten Cate ;Victor Dalmau
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:161-176.doi:10.4230/LIPIcs.ICDT.2015.161
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846716
作 者:Vince Barany ;Balder ten Cate ;Benny Kimelfeld 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;48:7:1-7:19.doi:10.4230/LIPIcs.ICDT.2016.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847280
作 者:Liat Peterfreund ;Balder ten Cate ;Ronald Fagin 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;127:1-18.doi:10.4230/LIPIcs.ICDT.2019.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230438530