The SCEAS System
| |||||||

## Search the dblp DataBase
Balder ten Cate:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Balder ten Cate, Massimo Franceschet
**On the Complexity of Hybrid Logics with Binders.**[Citation Graph (0, 0)][DBLP] CSL, 2005, pp:339-354 [Conf] - Balder ten Cate, Maarten Marx
**Axiomatizing the Logical Core of XPath 2.0.**[Citation Graph (0, 0)][DBLP] ICDT, 2007, pp:134-148 [Conf] - Balder ten Cate
**On the Logic of d-separation.**[Citation Graph (0, 0)][DBLP] KR, 2002, pp:568-577 [Conf] - Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
**Definitorially Complete Description Logics.**[Citation Graph (0, 0)][DBLP] KR, 2006, pp:79-89 [Conf] - Balder ten Cate
**The expressivity of XPath with transitive closure.**[Citation Graph (0, 0)][DBLP] PODS, 2006, pp:328-337 [Conf] - Balder ten Cate, Chung-chieh Shan
**Question Answering: From Partitions to Prolog.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:251-265 [Conf] - Chung-chieh Shan, Balder ten Cate
**The partition semantics of questions, syntactically**[Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal] - Balder ten Cate, Chung-chieh Shan
**Question answering: from partitions to Prolog**[Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **Craig Interpolation for Linear Temporal Languages.**[Citation Graph (, )][DBLP]**An Easy Completeness Proof for the Modal**[Citation Graph (, )][DBLP]*µ*-Calculus on Finite Trees.**Structural characterizations of schema-mapping languages.**[Citation Graph (, )][DBLP]**Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.**[Citation Graph (, )][DBLP]**XPath, transitive closure logic, and nested tree walking automata.**[Citation Graph (, )][DBLP]**Modal languages for topology: Expressivity and definability.**[Citation Graph (, )][DBLP]**Structural characterizations of schema-mapping languages.**[Citation Graph (, )][DBLP]**Laconic schema mappings: computing core universal solutions by means of SQL queries**[Citation Graph (, )][DBLP]**Lindström theorems for fragments of first-order logic**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |