dblp.uni-trier.dewww.uni-trier.de

Balder ten Cate

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
23EEBalder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. ICDT 2009: 63-72
22EEAmélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196
21EEBalder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan: Laconic schema mappings: computing core universal solutions by means of SQL queries CoRR abs/0903.1953: (2009)
2008
20EEBalder ten Cate, Luc Segoufin: XPath, transitive closure logic, and nested tree walking automata. PODS 2008: 251-260
2007
19 Balder ten Cate, Henk Zeevat: Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers Springer 2007
18EEBalder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148
17EEBalder ten Cate, Johan van Benthem, Jouko A. Väänänen: Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
16EEBalder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. PODS 2007: 73-82
15EEBalder ten Cate, Tadeusz Litak: Topological Perspective on the Hybrid Proof Rules. Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007)
14EEBalder ten Cate, Maarten Marx: Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26 (2007)
2006
13 Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
12EEBalder ten Cate: The expressivity of XPath with transitive closure. PODS 2006: 328-337
11EENick Bezhanishvili, Balder ten Cate: Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. 16(2): 177-197 (2006)
10EEPatrick Blackburn, Balder ten Cate: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84(2): 277-322 (2006)
9EEJohan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac: Multimo dal Logics of Products of Topologies. Studia Logica 84(3): 369-392 (2006)
2005
8EEBalder ten Cate, Massimo Franceschet: On the Complexity of Hybrid Logics with Binders. CSL 2005: 339-354
7EEBalder ten Cate, Massimo Franceschet: Guarded Fragments with Constants. Journal of Logic, Language and Information 14(3): 281-288 (2005)
6EEBalder ten Cate, Maarten Marx, Jorge Petrúcio Viana: Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300 (2005)
2002
5 Balder ten Cate: On the Logic of d-separation. KR 2002: 568-577
4EEBalder ten Cate, Chung-chieh Shan: Question Answering: From Partitions to Prolog. TABLEAUX 2002: 251-265
3EEChung-chieh Shan, Balder ten Cate: The partition semantics of questions, syntactically CoRR cs.CL/0209008: (2002)
2EEBalder ten Cate, Chung-chieh Shan: Question answering: from partitions to Prolog CoRR cs.CL/0209009: (2002)
2001
1EEBalder ten Cate: The dynamics of information exchange dialogues. Electr. Notes Theor. Comput. Sci. 53: (2001)

Coauthor Index

1Johan van Benthem [9] [17]
2Guram Bezhanishvili [9]
3Nick Bezhanishvili [11]
4Patrick Blackburn [10]
5Laura Chiticariu [21]
6Willem Conradie [13]
7Massimo Franceschet [7] [8]
8Amélie Gheerbrant [22]
9Phokion G. Kolaitis [21] [23]
10Tadeusz Litak [15]
11Carsten Lutz [16]
12Maarten Marx [6] [13] [14] [18]
13Darko Sarenac [9]
14Luc Segoufin [20]
15Chung-chieh Shan [2] [3] [4]
16Wang Chiew Tan [21]
17Jouko A. Väänänen [17]
18Yde Venema [13]
19Jorge Petrúcio Viana [6]
20Henk Zeevat [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)