Miguel Vítores

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Proving Confluence in the Confluence Framework with CONFident.

[DOI]

Fundam. Informaticae, 2024

2022

Proving and disproving confluence of context-sensitive rewriting.

[DOI]

J. Log. Algebraic Methods Program., 2022

Confluence Framework: Proving Confluence with CONFident.

[DOI]

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

2021

Confluence of Conditional Rewriting in Logic Form.

[DOI]

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