PV5 ⊧ Maudea language and system supporting equational and rewriting logic

Links

Related papers

• https://doi.org/10.1007/978-3-319-23165-5_11 (Logic, Rewriting, and Concurrency, 2015)
• https://doi.org/10.1007/978-3-540-71999-1 (Book: "All About Maude - A High-Performance Logical Framework", '07)
• https://doi.org/10.1007/3-540-44881-0_7 (RTA '03)
• https://doi.org/10.1016/S0304-3975(01)00359-0 (Theoretical Computer Science, Vol. 285, '02)
• https://doi.org/10.1007/3-540-48685-2_18 (RTA, 1999)
• https://doi.org/10.1016/S1571-0661(04)00034-9 (Electronic Notes in Theoretical Computer Science, Vol. 4, 1996)

Last publication date

Related tools

ProVerB specific

• Markdown description: view/edit
• Contained in the ProVerB22 dataset (paper + artefact)