Felipe Sasdelli

According to our database, Felipe Sasdelli authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.

Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020