Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,861
Number of items: 57,861
  • van der Hoek, W., & de Rijke, M. (1995). Counting objects. Journal of Logic and Computation, 5, 325-345.
  • Blackburn, P., Gardent, C., & de Rijke, M. (1995). Ontologies riches pour le temps et l'aspect. In P. Amsili, M. Borillo, & L. Vieu (Eds.), Time, space and movement: meaning and knowledge in the sensible world: workshop notes of the 5th International Workshop on Time, Space and Movement (TSM'95), part D (pp. 3-16). CNRS.
  • Montanari, A., & de Rijke, M. (1995). Completeness results for two-sorted metric temporal logics. In V. S. Alagar, & M. Nivat (Eds.), Algebraic methodology and software technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995: proceedings (pp. 385-399). (Lecture notes in computer science; No. 936). Springer.
  • Csirmaz, L., Gabbay, D. M., & de Rijke, M. (1995). Preface. In L. Csirmaz, D. M. Gabbay, & M. de Rijke (Eds.), Logic Colloquium '92 (pp. vii). (CSLI publications). CSLI.
  • Brandts, J. H. (1995). Superconvergence phenomena in finite element methods. [Thesis, fully internal, Universiteit van Amsterdam]. Universiteit Utrecht, Faculteit Wiskunden en Informatica.
  • Montanari, A., & de Rijke, M. (1995). Two-sorted metric temporal logics. (Report; No. CS-R9577). CWI.
  • Blackburn, P., Meyer Viol, W., & de Rijke, M. (1995). A proof system for finite trees. (Report; No. CS-R9563). CWI.
  • de Rijke, M. (1995). A modal characterization of peirce algebras. (Report; No. CS-R9562). CWI.
  • Wijers, R. A. M. J. (1995). Does time dilation tell us the distance to gamma-ray bursts? Astrophysics and Space Science, 231, 399-402. https://doi.org/10.1007/BF00658657
  • Esselink, K., Hilbers, S., Karaborni, P. A. J., Siepmann, J. I., & Smit, B. (1995). Simulating complex fluids. Molecular Simulation, 14, 259-... https://doi.org/10.1080/08927029508022022
Page 5313 of 5787