Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,957
Number of items: 57,957
  • Balog, K., & de Rijke, M. (2007). Index Combinations and Query Reformulations for Mixed Monolingual Web Retrieval. In Evaluation of Multilingual and Multi-modal Information Retrieval (pp. 830-833)
  • 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)
  • Gomez, A., Berrio, J. C., Hooghiemstra, H., Becerra, M., & Marchant, R. (2007). A Holocene pollen record of vegetation change and human impact from Pantano de Vargas, an intra-Andean basin of Duitama, Colombia. Review of Palaeobotany and Palynology, 145, 143-157. https://doi.org/10.1016/j.revpalbo.2006.10.002
  • 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.
  • Klein Wolt, M., Wijnands, R. A. D., Markwardt, C. B., & Swank, J. H. (2007). Swift follow-up observations of the fast-transient IGR J17191-2821. The astronomer's telegram, 1025. http://adsabs.harvard.edu/abs/2007ATel.1025....1K
  • Afanasiev, L., ten Cate, B. D., & Marx, M. J. (2007). Lekker bomen. Nieuwsbrief van de NVTI, 11, 38-52.
  • ten Cate, B. D., & Marx, M. J. (2007). Axiomatizing the logical core of XPath 2.0. In Proceedings of ICDT 2007 (pp. 134-148)
  • Kaneko, Y., Ramirez-Ruiz, E., Granot, J., Kouveliotou, C., Woosley, S. E., Patel, S. K., Rol, E., in 't Zand, J. J. M., van der Horst, A. J., Wijers, R. A. M. J., & Strom, R. (2007). Prompt and Afterglow Emission Properties of Gamma-Ray Bursts with Spectroscopically Identified Supernovae. Astrophysical Journal, 654, 385-402. https://doi.org/10.1086/508324
Page 3564 of 5796