Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 72
Number of items: 72
  • Open Access
    ten Cate, B., Litak, T., & Marx, M. (2008). Complete axiomatizations for XPath fragments. In LID 2008: Logic in Databases: Proceedings (pp. 1-22) http://www.dcs.bbk.ac.uk/~tadeusz/papers/lid_final.pdf
  • Areces, C. E., & ten Cate, B. D. (2007). Hybrid logics. In P. Blackburn, J. van Benthem, & F. Wolter (Eds.), Handbook of Modal Logic (pp. 821-868). Elsevier.
  • ten Cate, B. D., & Litak, T. M. (2007). The importance of being discrete. (ILLC preprint; No. PP-2007-39). Informatics Institute.
  • ten Cate, B. D., & Shan, C. (2007). Axiomatizing Groenendijk's logic of interrogation. In M. Aloni, A. Butler, & P. Dekker (Eds.), Questions in dynamic semantics (pp. 63-82). Elsevier.
  • ten Cate, B. D., Litak, T. M., & Marx, M. J. (2007). A Complete Axiomatization for Core XPath 1.0. In J. van den Bussche (Ed.), Liber Amicorum Jan Paredaens
  • ten Cate, B. D., & Marx, M. J. (2007). Navigational XPath: calculus and algebra. SIGMOD Record, 36, 19-26.
  • ten Cate, B. D., Fontaine, G., & Litak, T. M. (2007). Some modal aspects of XPath. In Proceedings of Methods for Modalities 2007 (pp. 21-34)
  • ten Cate, B. D., van Benthem, J. F. A. K., & Väänänen, J. (2007). Lindström theorems for fragments of first-order logic. In Proceedings of LICS 2007 (pp. 280-292)
  • ten Cate, B. D., & Lutz, C. (2007). The Complexity of Query Containment in Expressive Fragments of XPath 2.0. In Proceedings of PODS 2007 (pp. 73-82)
  • ten Cate, B. D., & Litak, T. M. (2007). Topological perspective on the hybrid proof rules. Electronic Notes in Theoretical Computer Science, 174, 79-94.
Page 4 of 8