Jaime Bohorquez
Jaime Bohorquez
Professor of Computer Science, Escuela Colombiana de Ingenieria
Verified email at escuelaing.edu.co
Title
Cited by
Cited by
Year
Intuitionistic logic according to Dijkstra's calculus of equational deduction
J Bohórquez
Notre Dame Journal of Formal Logic 49 (4), 361-384, 2008
112008
Towards the effective use of formal logic in the teaching of discrete math
J Bohórquez, C Rocha
2005 6th International Conference on Information Technology Based Higher …, 2005
102005
An elementary and unified approach to program correctness
JA Bohórquez V
Formal Aspects of Computing 22 (5), 611-627, 2010
32010
Problem Solving Strategies for the Derivation of Programs
J Bohórquez, R Cardoso
Logical Methods, 143-161, 1993
31993
Axiomatic Set Theory à la Dijkstra and Scholten
E Acosta, B Aldana, J Bohórquez, C Rocha
Colombian Conference on Computing, 775-791, 2017
22017
Assisted Calculational Proofs and Proof Checking Based on Partial Orders
J Bohórquez, C Rocha
Formal Methods in Computer Science Education, 37, 2008
22008
An inductive theorem on the correctness of general recursive programs
JA Bohórquez
Logic Journal of the IGPL 15 (5-6), 373-399, 2007
22007
Calculational HoTT
E Acosta, B Aldana, J Bohorquez
arXiv preprint arXiv:1901.08883, 2019
2019
Calculational HoTT
B Aldana, J Bohorquez, E Acosta
arXiv preprint arXiv:1901.08883, 2019
2019
Proceedings of the XIV Brazilian logic conference-Foreword
W Carnielli, D Krause
LOGIC JOURNAL OF THE IGPL 15 (5-6), 371-371, 2007
2007
A Relational Theorem on the Correctness of General Recursive Programs
JA Bohórquez
2005
APORTES DE LA TEORÍA INFORMÁTICA A LA ENSEÑANZA Y LA PRÁCTICA DE LA INGENIERÍA DE SOFTWARE
JA Bohórquez
2003
The system can't perform the operation now. Try again later.
Articles 1–12