Intuitionistic logic according to Dijkstra's calculus of equational deduction J Bohórquez Notre Dame Journal of Formal Logic 49 (4), 361-384, 2008 | 11 | 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 | 3 | 2010 |

Problem Solving Strategies for the Derivation of Programs J Bohórquez, R Cardoso Logical Methods, 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 |

Assisted calculational proofs and proof checking based on partial orders J Bohórquez, C Rocha Formal Methods in Computer Science Education, 37, 2008 | 2 | 2008 |

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 |

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 |