Search the dblp DataBase

Publications of Author

1. Balder ten Cate, Massimo Franceschet
   On the Complexity of Hybrid Logics with Binders. [Citation Graph (0, 0)][DBLP]
   CSL, 2005, pp:339-354 [Conf]
   
2. Balder ten Cate, Maarten Marx
   Axiomatizing the Logical Core of XPath 2.0. [Citation Graph (0, 0)][DBLP]
   ICDT, 2007, pp:134-148 [Conf]
   
3. Balder ten Cate
   On the Logic of d-separation. [Citation Graph (0, 0)][DBLP]
   KR, 2002, pp:568-577 [Conf]
   
4. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
   Definitorially Complete Description Logics. [Citation Graph (0, 0)][DBLP]
   KR, 2006, pp:79-89 [Conf]
   
5. Balder ten Cate
   The expressivity of XPath with transitive closure. [Citation Graph (0, 0)][DBLP]
   PODS, 2006, pp:328-337 [Conf]
   
6. Balder ten Cate, Chung-chieh Shan
   Question Answering: From Partitions to Prolog. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2002, pp:251-265 [Conf]
   
7. Chung-chieh Shan, Balder ten Cate
   The partition semantics of questions, syntactically [Citation Graph (0, 0)][DBLP]
   CoRR, 2002, v:0, n:, pp:- [Journal]
   
8. Balder ten Cate, Chung-chieh Shan
   Question answering: from partitions to Prolog [Citation Graph (0, 0)][DBLP]
   CoRR, 2002, v:0, n:, pp:- [Journal]
   
9. Balder ten Cate
   The dynamics of information exchange dialogues. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:53, n:, pp:- [Journal]
   
10. Balder ten Cate, Tadeusz Litak
    Topological Perspective on the Hybrid Proof Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:79-94 [Journal]
    
11. Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana
    Hybrid logics with Sahlqvist axioms. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:3, pp:293-300 [Journal]
    
12. Balder ten Cate, Massimo Franceschet
    Guarded Fragments with Constants. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2005, v:14, n:3, pp:281-288 [Journal]
    
13. Nick Bezhanishvili, Balder ten Cate
    Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:2, pp:177-197 [Journal]
    
14. Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
    Lindstrom theorems for fragments of first-order logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:280-292 [Conf]
    
15. Balder ten Cate, Carsten Lutz
    The complexity of query containment in expressive fragments of XPath 2.0. [Citation Graph (0, 0)][DBLP]
    PODS, 2007, pp:73-82 [Conf]
    
16. 
    Craig Interpolation for Linear Temporal Languages. [Citation Graph (, )][DBLP]
    
    
17. 
    An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. [Citation Graph (, )][DBLP]
    
    
18. 
    Structural characterizations of schema-mapping languages. [Citation Graph (, )][DBLP]
    
    
19. 
    Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. [Citation Graph (, )][DBLP]
    
    
20. 
    XPath, transitive closure logic, and nested tree walking automata. [Citation Graph (, )][DBLP]
    
    
21. 
    Modal languages for topology: Expressivity and definability. [Citation Graph (, )][DBLP]
    
    
22. 
    Structural characterizations of schema-mapping languages. [Citation Graph (, )][DBLP]
    
    
23. 
    Laconic schema mappings: computing core universal solutions by means of SQL queries [Citation Graph (, )][DBLP]
    
    
24. 
    Lindström theorems for fragments of first-order logic [Citation Graph (, )][DBLP]