Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 216,650
Number of items: 216,650
  • 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.
  • Hermanns, J. M. A. (1995). Schoolage childcare: special education? In Report 5th international congress 'Empowering the parents'. VBJK.
  • van der Leij, D. A. V., Meijnen, G. W., & Leseman, P. P. M. (1995). De leer- en opvoedingssituatie van jonge autochtone en allochtone leerlingen in het perspectief van hun schoolcarrière. Pedagogische Studiën, 72(3), 162-172.
  • van der Leij, D. A. V., Meijnen, G. W., & Leseman, P. P. M. (1995). Onderwijs aan jonge kinderen. Pedagogische Studiën, 72(3 and 4).
  • 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.
  • Kulatilaka, N., & Perotti, E. C. (1995). What is lost by waiting to invest. The Journal of Finance, 50(3), 990-991.
Page 20022 of 21665