Eduardo Ugalde-Reyes

According to our database, Eduardo Ugalde-Reyes authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Mind the gap: A conciliating short proof of strong normalization for minimal propositional logic.

Favio Ezequiel Miranda-Perea, Eduardo Ugalde-Reyes

Ann. Pure Appl. Log., 2026