Search results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 218,660
Number of items: 218,660
  • Hoogland, E., & Marx, M. J. (2002). Interpolation in the guarded fragment. Studia Logica, 70(3), 273-409.
  • Marx, M. J. (2002). Computing with cylindric modal logics and arrow logics, lower bounds. Studia Logica, 72(2), 233-252.
  • Marx, M. J., & Mikulás, S. (2002). An elementary construction for a non-elementary procedure. Studia Logica, 72(2), 253-263.
  • Apt, K. R. (2002). Edsger Wybe Dijkstra (1930 - 2002): A portrait of a genius''. Formal Aspects of Computing, 14(2), 92-98.
  • Apt, K. R., & Vermeulen, C. F. M. (2002). First-order logic as a constraint programming language. Lecture Notes in Computer Science, 2514, 19-35. https://doi.org/10.1007/3-540-36078-6_2
  • Apt, K. R. (2002). The logic programming paradigm and Prolog. In J. Mitchell (Ed.), Concepts in Programming Languages (pp. 475-507). Cambridge University Press.
  • Apt, K. R. (2002). [Review of: Mordechai Ben-Ari. Mathematical Logic for Computer science]. Theory and Practice of Logic Programming, 2(1), 123-124.
  • Areces, C. E., & Heguiabehere, J. M. (2002). Direct resolution for modal-like logics. In Proceedings of the 3rd International Workshop on the Implementation of Logics
  • Offenberg, A. K. (2002). "Joden in Amsterdam; 17de tot 19de eeuw". In Norbert van den Berg e.a. (Ed.), Gedrukt in Amsterdam voor immigranten
  • Areces, C. E., & Heguiabehere, J. M. (2002). Hylores: A hybrid logic prover based on direct resolution. In Proceedings of Advances in Modal Logic
Page 16119 of 21866