All Stories

  1. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

    Article • Fundamenta Informaticae, April 2019, IOS Press

    Carlos Gustavo Lopez Pombo, Nazareno Aguirre

  2. Dynamite

    Article • ACM Transactions on Software Engineering and Methodology, March 2014, ACM (Association for Computing Machinery)

    Carlos Gustavo Lopez Pombo