B. T. Cate

发表

B. T. Cate, David ten Cate, David ten Cate, 2005 .

Balder ten Cate, B. T. Cate, 2004, Electron. Notes Theor. Comput. Sci..

B. T. Cate, Kristina Striegnitz, 2001 .

J. Eijck, B. T. Cate, J. Heguiabehere, 2004 .

B. T. Cate, B. Kimelfeld, V. Bárány, 2015 .

Emir Pasalic, Balder ten Cate, Todd J. Green, 2015, SIGMOD Conference.

maarten marx, B. T. Cate, J. P. Viana, 2004 .

J. Benthem, B. T. Cate, J. Väänänen, 2009 .

J. Eijck, B. T. Cate, J. Heguiabehere, 2004 .

Phokion G. Kolaitis, Richard L. Halpert, B. T. Cate, 2016, Journal on Data Semantics.

Phokion G. Kolaitis, B. T. Cate, V. Dalmau, 2013, TODS.

B. T. Cate, E. Mori, L. Malfatti, 2020, Animal Biodiversity and Conservation.

B. T. Cate, J. V. Benthem, R. Koudijs, 2022, AiML.

Phokion G. Kolaitis, B. T. Cate, 2009, CACM.

C. Lutz, F. Wolter, B. T. Cate, 2013, ACM Transactions on Database Systems.

L. Segoufin, B. T. Cate, 2011 .

Balder ten Cate, L. Segoufin, B. T. Cate, 2011, Advances in Modal Logic.

Balder ten Cate, Luc Segoufin, L. Segoufin, 2010, J. ACM.

Carsten Lutz, Balder ten Cate, C. Lutz, 2007, PODS.

Balder ten Cate, Carlos Areces, B. T. Cate, 2007, Handbook of Modal Logic.

Phokion G. Kolaitis, Balder ten Cate, Wang Chiew Tan, 2009, Proc. VLDB Endow..

Michael Benedikt, Balder ten Cate, Michael Vanden Boom, 2014, CSL-LICS.

Alessandra Mileo, Balder ten Cate, A. Mileo, 2015, Lecture Notes in Computer Science.

Balder ten Cate, Karan Singhal, Karthik Raman, 2019, Proceedings of the Second Workshop on Shortcomings in Vision and Language.

Balder ten Cate, Maarten Marx, maarten marx, 2007, Theory of Computing Systems.

Ronald Fagin, Balder ten Cate, Benny Kimelfeld, 2017, ICDT.

Phokion G. Kolaitis, Balder ten Cate, Wang Chiew Tan, 2018, PODS.

Phokion G. Kolaitis, Wei Wu, B. T. Cate, 2023, ICDT.

Serge Abiteboul, Balder ten Cate, Yannis Katsis, 2011, ICDT '11.

Phokion G. Kolaitis, Pablo Barceló, Gaëlle Fontaine, 2012, ICDT '12.

Maarten Marx, Balder ten Cate, maarten marx, 2007, SGMD.

Balder ten Cate, Alessandro Facchini, B. T. Cate, 2011, MFCS.

Enrico Franconi, Balder ten Cate, Inanç Seylan, 2011, IJCAI.

Maarten Marx, Balder ten Cate, Tadeusz Litak, 2010, J. Appl. Log..

Balder ten Cate, Gaëlle Fontaine, B. T. Cate, 2010, FICS.

Balder ten Cate, Tadeusz Litak, Gaëlle Fontaine, 2010, J. Appl. Non Class. Logics.

Balder ten Cate, Tadeusz Litak, B. T. Cate, 2007, HyLo@FLoC.

Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, 2007, Stud Logica.

Dmitry Sustretov, Balder ten Cate, David Gabelaia, 2006, Ann. Pure Appl. Log..

Balder ten Cate, Massimo Franceschet, Massimo Franceschet, 2005, CSL.

B. D. ten Cate, Maarten Marx, J. P. Viana, 2004 .

B. D. ten Cate, Patrick Blackburn, P. Blackburn, 2002 .

Balder ten Cate, Dan Olteanu, Vince Bárány, 2017, ACM Trans. Database Syst..

C. Lutz, B. T. Cate, V. Dalmau, 2022, PODS.

Michael Benedikt, Balder ten Cate, Julien Leblay, 2016, Synthesis Lectures on Data Management.

Willem Conradie, Maarten Marx, Balder ten Cate, 2006, KR.

C. Lutz, B. T. Cate, J. C. Jung, 2023, ArXiv.

B. D. ten Cate, Chung-chieh Shan, B. T. Cate, 2007 .

Carsten Lutz, Frank Wolter, Balder ten Cate, 2014, ACM Trans. Database Syst..

Balder ten Cate, Nick Bezhanishvili, B. T. Cate, 2006, J. Log. Comput..

Tadeusz Litak, D CatetenB., V. Goranko, 2007 .

J. Bussche, B. T. Cate, B. Bogaerts, 2023, ArXiv.

Balder ten Cate, Patrick Blackburn, P. Blackburn, 2006, Stud Logica.

Michael Benedikt, Gabriele Puppis, Balder ten Cate, 2015, ACM Trans. Comput. Log..

Evgeny Sherkhonov, Balder ten Cate, Wang Chiew Tan, 2014, PODS.

Michael Benedikt, Balder ten Cate, Efthymia Tsamoura, 2014, PODS.

Maarten Marx, Balder ten Cate, Petrucio Viana, 2005, Log. J. IGPL.

Johan van Benthem, Balder ten Cate, Jouko A. Väänänen, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

Phokion G. Kolaitis, Walied Othman, Balder ten Cate, 2013, EDBT '13.

Phokion G. Kolaitis, Balder ten Cate, Víctor Dalmau, 2012, ICDT '12.

C. Lutz, F. Wolter, B. T. Cate, 2013, ACM Trans. Database Syst..

Michael Benedikt, Balder ten Cate, Vince Bárány, 2018, The Journal of Symbolic Logic.

Balder ten Cate, B. T. Cate, 2020, Description Logics.

Balder ten Cate, Luc Segoufin, L. Segoufin, 2013, Log. Methods Comput. Sci..

Balder ten Cate, Vince Bárány, Martin Otto, 2012, Proc. VLDB Endow..

Phokion G. Kolaitis, B. Alexe, W. Tan, 2011, TODS.

Balder ten Cate, B. T. Cate, 2006, PODS.

Balder ten Cate, Víctor Dalmau, B. T. Cate, 2015, ICDT.

Phokion G. Kolaitis, Balder ten Cate, Richard L. Halpert, 2014, Journal on Data Semantics.

Michael Benedikt, Balder ten Cate, Vince Bárány, 2013, MFCS.

Balder ten Cate, B. T. Cate, 2006, J. Philos. Log..

B. T. Cate, Jesse Comer, 2023, ArXiv.

B. T. Cate, Jesse Comer, 2023, ArXiv.

Phokion G. Kolaitis, B. Alexe, W. Tan, 2011 .

Balder ten Cate, Chung-chieh Shan, B. T. Cate, 2002, ArXiv.

Balder ten Cate, Luc Segoufin, L. Segoufin, 2008, PODS.

Balder ten Cate, Dan Olteanu, Vince Bárány, 2014, ArXiv.

B. D. ten Cate, B. T. Cate, 2002 .

C. Lutz, B. T. Cate, V. Dalmau, 2022, PODS.

B. T. Cate, Víctor Dalmau, Jakub Oprsal, 2024, ICDT.

Phokion G. Kolaitis, Wang Chiew Tan, Bogdan Alexe, 2010, PODS.