Ezequiel Postan

According to our database, Ezequiel Postan authored at least 3 papers between 2017 and 2021.

Collaborative distances:

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

2021

Lifting propositional proof compression algorithms to first-order logic.

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo

J. Log. Comput., 2021

2020

Partial Regularization of First-Order Resolution Proofs.

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2017

Dioids for Computational Effects.

Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff

Proceedings of the XLIII Latin American Computer Conference - Selected Papers, 2017