Intuitionistic logic according to Dijkstra's calculus of equational deduction J Bohórquez V | 13 | 2008 |
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 | 10 | 2005 |
An elementary and unified approach to program correctness JA Bohórquez V Formal Aspects of Computing 22 (5), 611-627, 2010 | 4 | 2010 |
Problem Solving Strategies for the Derivation of Programs J Bohórquez, R Cardoso Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday, 143-161, 1993 | 3 | 1993 |
Axiomatic Set Theory à la Dijkstra and Scholten E Acosta, B Aldana, J Bohórquez, C Rocha Colombian Conference on Computing, 775-791, 2017 | 2 | 2017 |
Calculational solutions to combinatorial problems VJA Bohórquez 2015 10th Computing Colombian Conference (10CCC), 17-22, 2015 | 2 | 2015 |
An inductive theorem on the correctness of general recursive programs JA Bohórquez Logic Journal of the IGPL 15 (5-6), 373-399, 2007 | 2 | 2007 |
Assisted calculational proofs and proof checking based on partial orders J Bohórquez, C Rocha Formal Methods in Computer Science Education, 37, 2008 | 1 | 2008 |
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. WA Carnielli, D Krause, JA Bohórquez, W Borges, JM Stern, ... Logic Journal of the IGPL 15, 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 |