Search results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 58,347
Number of items: 58,347
  • 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.
  • van der Hooft, F., Lewin, W. H. G., Norris, J. P., van Paradijs, J., van der Klis, M., Kouveliotou, C., Rubin, B. C., Crary, D. J., & Finger, M. H. (1995). Low-frequency QPO in the X-Ray transient GRO J1719-24. Journal Article, NASA Marshall Space Flight Center, 09.
  • 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.
  • Schulz, N. S., & Wijers, R. A. M. J. (1995). Comptonization in spectral branches of Z Sources. NATO Advanced Study Institutes Series. Series C, Mathematical and Physical Sciences, 393.
Page 5359 of 5835