• Ambiente visual para el aprendizaje de conceptos asociados a la lógica proposicional 

      González Prieto, Julián (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2017)
      El objetivo general del proyecto consiste principalmente en diseñar y construir un software con una interfaz de alto componente visual, basado en una metáfora lúdica, que le permita al estudiante el aprendizaje de los ...
    • The Formal System of Dijkstra and Scholten 

      Rocha, Camilo (Springer.Springer, Cham., 2015)
      The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proofs and has attracted a substantial following in research, teaching, and programming. However, there is confusion regarding ...
    • Theorem Proving Modulo Based on Boolean Equational Procedures 

      Rocha, Camilo; Meseguer, José (Springer, 2008)
      Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...