Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • de Rijke, M. (1997). Preface. In M. de Rijke (Ed.), Advances in intensional logic (pp. III-VII). (Applied logic series; No. 7). Dordrecht.
  • Blackburn, P., & de Rijke, M. (1997). Preface. In Specifying syntactic structures (pp. IX-XIV). (Studies in logic, language and information). CSLI.
  • Blackburn, P., & de Rijke, M. (1997). Specifying Syntactic Structures. Studies in logic, Language and Information. CSLI Publications.
  • Kurtonina, N., & de Rijke, M. (1997). Classifying description logics. In M.-C. Rousset (Ed.), Proc. International Workshop on Description Logics (DL'97) (pp. 49-53)
  • de Rijke, M. (1997). Advances in Intensional Logic. (Applied Logic Series). Kluwer Academic Publishers.
  • Kurtonina, N., & de Rijke, M. (1997). Expressiveness of first-order description logics. (Research Report; No. RR325). University of Warwick.
  • Beerends, R. J., Haven, A. S., Lodder, J., Mulder, H. M., de Rijke, M., & Thijsse, E. G. C. (1997). Bewijzen. In Discrete Wiskunde I Open Universiteit.
  • D'Inverno, M., Fisher, M., Lomuscio, A., Luck, M., de Rijke, M., Ryan, M., & Wooldridge, M. (1997). Formalisms for multi-agent systems. Knowledge Engineering Review, 12, 315-321. https://doi.org/10.1017/S0269888997003068
  • van der Hoek, W., & de Rijke, M. (1997). Sahlqvist identities. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Academic Publishers.
  • Open Access
    Montanari, A., & de Rijke, M. (1997). Two-sorted metric temporal logic. Theoretical Computer Science, 183, 187-214. https://doi.org/10.1016/S0304-3975(96)00324-6
Page 96 of 103