Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 216,486
Number of items: 216,486
  • Apt, K. R., & Luitjes, I. (1995). Verification of Logic Programs with Delay Declarations. In M. Nivat, & V. S. Alagar (Eds.), Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95) (pp. 66-90). (Lecture Notes in Computer Science; No. 936). Springer-Verlag.
  • Apt, K. R., & Teusink, F. (1995). Comparing negation in logic programming and in Prolog. In F. Turini, & K. R. Apt (Eds.), Meta-logics and Logic Programming (pp. 111-133). The MIT Press.
  • Kalsbeek, M. B., & Jiang, Y. (1995). A vademecum of ambivalent logic. In F. Turini, & K. R. Apt (Eds.), Meta-logics and Logic Programming (pp. 27-56). The MIT Press.
  • Kalsbeek, M. B. (1995). Correctness of the vanilla meta-interpreter and ambivalent syntax. In F. Turini, & K. R. Apt (Eds.), Meta-logics and Logic Programming (pp. 3-26). The MIT Press.
  • Baeten, J. C. M., & Bergstra, J. A. (1995). Discrete time process algebra with abstraction. In H. Reichel (Ed.), FCT'95 (pp. 1-15). (Lecture Notes in Computer Science; No. 965). Springer-Verlag.
  • Pistorius, R. J. (1995). David versus Goliath: Conttracten tussen farmaceutische bedrijven en inheemse bevolkingsgroepen. Indigo, 5.
  • Streefland, P. (1995). Enhancing Coverage and Sustainability of Vaccination Programmes: an Explanatory Framework with Special Reference to India. Social Science & Medicine, 41(5), 647-656. https://doi.org/10.1016/0277-9536(95)00036-7
  • Pistorius, R. J. (1995). Forum Shopping: Issue Linkages in the Genetic Resources issue. In P. A. Kurian, R. V. Bartlett, & M. Malik (Eds.), International Organizations and Environmental Policy (pp. 209-222). Greenwood Press.
  • Müller, M., Ghauharali, R. I., Visscher, K., & Brakenhoff, G. J. (1995). Double-pulse fluorescence lifetime imaging in confocal microscopy. Journal of Microscopy, 177(2), 171-179.
  • Baeten, J. C. M., & Bergstra, J. A. (1995). Process algebra with propositional signals. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 213-228)
Page 20473 of 21649