Formalizing the confluence of orthogonal rewriting systems

MaRDI QIDQ4992400zbMATH OpenFDO

Authors Ana Cristina Rocha-Oliveira, Mauricio Ayala-Rincón

Publication date 8 June 2021

Full work available at URL https://arxiv.org/abs/1303.7335, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2012.14

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Confluence of orthogonal term rewriting systems in the prototype verification system
• Formalising confluence in PVS
• Developing developments
• scientific article; zbMATH DE number 512788
• Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system

Cited in

(4)

• Sequentiality in orthogonal term rewriting systems
• Checking overlaps of nominal rewriting rules
• Confluence of orthogonal term rewriting systems in the prototype verification system
• Formalising confluence in PVS

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Formalizing the confluence of orthogonal rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4992400)