Jefferson de Barros Santos

According to our database1, Jefferson de Barros Santos authored at least 5 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Two-tiered Approach for Knowledge Reasoning.
Proceedings of the 39th Brazilian Symposium on Databases, 2024

2022
Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation.
J. Inf. Data Manag., December, 2022

2021
A logical framework with a graph meta-language.
CoRR, 2021

2019
Revisiting Counter-model Generation for Minimal Implicational Logic.
CoRR, 2019

2015
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.
Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015


  Loading...