Jaime Bohorquez

Jaime Bohorquez

Escuela Colombiana de Ingeniería Julio Garavito - Bogotá / Colombia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4912156
Colombian School of Engineering
person_outline Jaime Bohorquez's MOST POPULAR ARTICLES
1-) Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction
2-) Towards the effective use of formal logic in the teaching of discrete math 2005 6th International Conference on Information Technology Based Higher …, 2005
3-) An elementary and unified approach to program correctness Formal Aspects of Computing 22 (5), 611-627, 2010
4-) Problem Solving Strategies for the Derivation of Programs Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday, 143-161, 1993
5-) Axiomatic Set Theory à la Dijkstra and Scholten Colombian Conference on Computing, 775-791, 2017