Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 15
Number of items: 15
  • van Benthem, J. F. A. K., Dalla Chiara, M., Doets, H. C., & Mundici, D. (1996). Proceedings 10th International Congress on Logic, Methodology and Philosophy of Science. Florence 1995; Two volumes ("Logic and Scientific Methods", "Structures and Norms in Science"). Kluwer Academic Publishers.
  • Doets, H. C. (1996). Monotone quantifiers: interpolation and preservation. In J. van Eijck, & J. van der Does (Eds.), Quantifiers, logic, and language (pp. 95-103). (CSLI lecture notes; No. 54). CSLI.
  • Doets, H. C. (1994). From logic to logic programming. (Foundation of Computing Series). The MIT Press.
  • Open Access
    Doets, H. C. (1994). Left termination turned into termination. Theoretical Computer Science, 124, 181-188. https://doi.org/10.1016/0304-3975(94)90059-0
  • Open Access
    Apt, K. R., & Doets, H. C. (1994). A new definition of SLDNF-resolution. Journal of Logic Programming, 18(2), 177-190. https://doi.org/10.1016/0743-1066(94)90051-5
Page 2 of 2