![DBLP keys DBLP keys](../../../keys.gif) | 2010 |
31 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages.
Commun. CACM 53(1): 101-110 (2010) |
| 2009 |
30 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Amélie Gheerbrant,
Balder ten Cate:
Craig Interpolation for Linear Temporal Languages.
CSL 2009: 287-301 |
29 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages.
ICDT 2009: 63-72 |
28 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Amélie Gheerbrant,
Balder ten Cate:
Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.
LFCS 2009: 180-196 |
27 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
David Gabelaia,
Dmitry Sustretov:
Modal languages for topology: Expressivity and definability.
Ann. Pure Appl. Logic 159(1-2): 146-170 (2009) |
26 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder 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) |
25 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate:
A note on the expressibility problem for modal logics and star-free regular expressions.
Inf. Process. Lett. 109(10): 509-513 (2009) |
24 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0.
J. ACM 56(6): (2009) |
23 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Johan 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) |
22 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder 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) |
21 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0.
Theory Comput. Syst. 44(4): 561-589 (2009) |
| 2008 |
20 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Luc Segoufin:
XPath, transitive closure logic, and nested tree walking automata.
PODS 2008: 251-260 |
| 2007 |
19 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | 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 |
18 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0.
ICDT 2007: 134-148 |
17 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Johan van Benthem,
Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic.
LICS 2007: 280-292 |
16 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0.
PODS 2007: 73-82 |
15 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Tadeusz Litak:
Topological Perspective on the Hybrid Proof Rules.
Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007) |
14 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Maarten Marx:
Navigational XPath: calculus and algebra.
SIGMOD Record 36(2): 19-26 (2007) |
| 2006 |
13 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Willem Conradie,
Maarten Marx,
Yde Venema:
Definitorially Complete Description Logics.
KR 2006: 79-89 |
12 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate:
The expressivity of XPath with transitive closure.
PODS 2006: 328-337 |
11 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Nick Bezhanishvili,
Balder ten Cate:
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.
J. Log. Comput. 16(2): 177-197 (2006) |
10 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Patrick Blackburn,
Balder ten Cate:
Pure Extensions, Proof Rules, and Hybrid Axiomatics.
Studia Logica 84(2): 277-322 (2006) |
9 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Johan van Benthem,
Guram Bezhanishvili,
Balder ten Cate,
Darko Sarenac:
Multimo dal Logics of Products of Topologies.
Studia Logica 84(3): 369-392 (2006) |
| 2005 |
8 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Massimo Franceschet:
On the Complexity of Hybrid Logics with Binders.
CSL 2005: 339-354 |
7 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Massimo Franceschet:
Guarded Fragments with Constants.
Journal of Logic, Language and Information 14(3): 281-288 (2005) |
6 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder 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 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate:
On the Logic of d-separation.
KR 2002: 568-577 |
4 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Chung-chieh Shan:
Question Answering: From Partitions to Prolog.
TABLEAUX 2002: 251-265 |
3 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Chung-chieh Shan,
Balder ten Cate:
The partition semantics of questions, syntactically
CoRR cs.CL/0209008: (2002) |
2 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate,
Chung-chieh Shan:
Question answering: from partitions to Prolog
CoRR cs.CL/0209009: (2002) |
| 2001 |
1 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Balder ten Cate:
The dynamics of information exchange dialogues.
Electr. Notes Theor. Comput. Sci. 53: (2001) |