Sean Sovine

According to our database, Sean Sovine authored at least 2 papers between 2013 and 2015.

Collaborative distances:

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

2015

The modal logic of Reverse Mathematics.

Carl Mummert, Alaeddine Saadaoui, Sean Sovine

Arch. Math. Log., 2015

2013

A Computationally Efficient System for High-Performance Multi-Document Summarization.

Sean Sovine, Hyoil Han

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013