Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • Open Access
    Blackburn, P., & de Rijke, M. (1997). Zooming in, zooming out. Journal of Logic, Language and Information, 6, 5-31.
  • Blackburn, P., Meyer Viol, W., & de Rijke, M. (1996). A proof system for finite trees. In H. Kleine Büning (Ed.), Computer science logic: 9th International Workshop, CSL '95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers (pp. 86-105). (Lecture notes in computer science; No. 1092). Springer.
  • Blackburn, P., & de Rijke, M. (1996). Logical aspects of combined structures. In J. Seligman, & D. Westerstahl (Eds.), Logic, language and computation (pp. 65-76). (CSLI lecture notes; No. 58). CSLI.
  • van der Hoek, W., & de Rijke, M. (1996). Interleaved contractions. In A. Cesta, & P. Y. Schobbens (Eds.), Proceedings 4th ModelAge Workshop (pp. 173-186)
  • de Rijke, M. (1996). A note on graded modal logic. (Report; No. RR 318). Department of Computer Science, University of Warwick.
  • Blackburn, P., & de Rijke, M. (1996). Editors' introduction. In Special issue on combining logics (pp. 161-166). (Notre Dame journal of formal logic; No. 37 : 2). University of Notre Dame.
  • de Rijke, M., & Blackburn, P. (1996). Combining logics. (Notre Dame journal of formal logic; No. 37 : 2). University of Notre Dame.
  • van der Hoek, W., & de Rijke, M. (1996). Interleaved contractions. (Report; No. RR 305). Department of Computer Science, University of Warwick.
  • Blackburn, P., Jaspars, J., & de Rijke, M. (1996). Reasoning about changing information. (Report; No. RR 315). Department of Conputer Science, University of Warwick.
  • Blackburn, P., Gardent, C., & de Rijke, M. (1996). Rich ontologies for tense and aspect. In J. Seligman, & D. Westerstahl (Eds.), Logic, language and computation (pp. 77-92). (CSLI lecture notes). Stanford, CA.
Page 98 of 104