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

Balder ten Cate Vis

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

*2009
29EEAmélie Gheerbrant, Balder ten Cate: Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301
28EEBalder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. ICDT 2009: 63-72
27EEAmélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196
26EEBalder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)
25EEBalder 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)
24EEBalder ten Cate: A note on the expressibility problem for modal logics and star-free regular expressions. Inf. Process. Lett. 109(10): 509-513 (2009)
23EEBalder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. J. ACM 56(6): (2009)
22EEJohan van Benthem, Balder ten Cate, Jouko A. Väänänen: Lindström theorems for fragments of first-order logic Logical Methods in Computer Science 5(3): (2009)
21EEBalder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan: Laconic Schema Mappings: Computing the Core with SQL Queries. PVLDB 2(1): 1006-1017 (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] [22]
2Guram Bezhanishvili [9]
3Nick Bezhanishvili [11]
4Patrick Blackburn [10]
5Laura Chiticariu [21] [25]
6Willem Conradie [13]
7Massimo Franceschet [7] [8]
8David Gabelaia [26]
9Amélie Gheerbrant [27] [29]
10Phokion G. Kolaitis [21] [25] [28]
11Tadeusz Litak [15]
12Carsten Lutz [16] [23]
13Maarten Marx [6] [13] [14] [18]
14Darko Sarenac [9]
15Luc Segoufin [20]
16Chung-chieh Shan [2] [3] [4]
17Dmitry Sustretov [26]
18Wang Chiew Tan [21] [25]
19Jouko A. Väänänen [17] [22]
20Yde Venema [13]
21Jorge Petrúcio Viana [6]
22Henk Zeevat [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)