Miguel Vítores

According to our database, Miguel Vítores authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Proving Confluence in the Confluence Framework with CONFident.

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores

Fundam. Informaticae, 2024

2022

Proving and disproving confluence of context-sensitive rewriting.

Salvador Lucas, Miguel Vítores, Raúl Gutiérrez

J. Log. Algebraic Methods Program., 2022

Confluence Framework: Proving Confluence with CONFident.

Raúl Gutiérrez, Miguel Vítores, Salvador Lucas

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2021

Confluence of Conditional Rewriting in Logic Form.

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021