Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,944
Number of items: 57,944
  • Afanasiev, L., Franceschet, M., Marx, M. J., & de Rijke, M. (2004). CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning IEEE Computer Society Press.
  • Müller, K. E. (2004). Revealing Automatically Phonological Similarities of Dutch and German (abstract). In 15th Meeting of Computational Linguistics in the Netherlands
  • Bergstra, J. A. (2004). Axioms for SNABOK, a System and Network Administration Body of Knowledge: Missing Link Stage of Ontology Process. (Logic Group Preprint Series; No. 227). Universiteit van Utrecht.
  • Bergstra, J. A., & Middelburg, C. A. (2004). Process Algebra for Hybrid Systems. (Logic Group Preprint Series; No. 225). Universiteit van Utrecht.
  • Schouten, J. A., Michels, J. P. J., & Janssen van Rosmalen, R. (2004). Invloed van H2 op het condensatiegedrag van waterstof. Van Der Waals - Zeeman Instituut.
  • Seinstra, F. J., Koelma, D. C., & Bagdanov, A. D. (2004). Finite State Machine Based Optimization of Data Parallel Regular Domain Problems Applied in Low Level Image Processing. IEEE Transactions on Parallel and Distributed Systems, 15(10), 865-877. https://doi.org/10.1109/TPDS.2004.55
  • Luttik, S. P., Rodenburg, P. H., & Verma, R. M. (2004). Remarks on Thatte's Transformation of Term Rewriting Systems. Information and Computation, 195(1-2), 66-87. https://doi.org/10.1016/j.ic.2003.09.006
  • Bergstra, J. A., & Bethke, I. (2004). Linear Projective Program Syntax. (Logic Group Preprint Series; No. 233). Universiteit van Utrecht.
  • Brandts, J. H., Korotov, S., & Krizek, M. (2004). Over de rechthoekige driehoek en zijn hoger dimensionale generalisaties. Nieuwe Wiskrant, 24(2), 6-12.
  • van der Geer, G. B. M. (2004). Knots (in Japanese). Have Fun with Mathematics (Japanese), 1, 118-132.
Page 3929 of 5795