Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Blackburn, P., de Rijke, M., & Venema, Y. (1995). Relational methods in logic, language and information. (Report; No. CS-R9561). CWI.
  • Csirmaz, L., Gabbay, D. M., & de Rijke, M. (1995). Logic Colloquium '92. (Studies in logic, language, and information). CSLI Publications.
  • 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.
  • 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.
  • Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications.
Page 99 of 103