Miguel Vítores

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Rewrite Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
Proving Confluence in the Confluence Framework with CONFident. CoRR (2023)
Salvador Lucas, Miguel Vítores, Raúl Gutiérrez
Proving and disproving confluence of context-sensitive rewriting. J. Log. Algebraic Methods Program. 126 (2022)
Raúl Gutiérrez, Miguel Vítores, Salvador Lucas
Confluence Framework: Proving Confluence with CONFident. LOPSTR (2022)
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
Confluence of Conditional Rewriting in Logic Form. FSTTCS (2021)