Jefferson de Barros Santos

According to our database, Jefferson de Barros Santos authored at least 3 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

A logical framework with a graph meta-language.

Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler

CoRR, 2021

2019

Revisiting Counter-model Generation for Minimal Implicational Logic.

Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler

CoRR, 2019

2015

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.

Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015