Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 6
Number of items: 6
  • ten Cate, B., Litak, T., & Marx, M. (2010). Complete axiomatizations for XPath fragments. Journal of Applied Logic, 8(2), 153-172. https://doi.org/10.1016/j.jal.2009.09.002
  • 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
  • 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., 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., 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., & Litak, T. M. (2007). Topological perspective on the hybrid proof rules. Electronic Notes in Theoretical Computer Science, 174, 79-94.
Page of