Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 73
Number of items: 73
  • ten Cate, B., & Segoufin, L. (2008). XPath, transitive closure logic, and nested tree walking automata. In M. Lenzerini, & D. Lembo (Eds.), PODS’08: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 251-260). ACM. http://doi.acm.org/10.1145/1376916.1376952
  • 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)
Page 4 of 8