João Neto

According to our database, João Neto authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Multi-focused Proofs with Different Polarity Assignments.

Elaine Pimentel, Vivek Nigam, João Neto

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015