Proving ground confluence of equational specifications modulo axioms

DOI10.1007/978-3-319-99840-4_11MaRDI QIDQ6164540zbMATH OpenOpenAlexFDO

Authors Francisco Durán, José Meseguer, Camilo Rocha

Publication date 28 July 2023

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2142/99548

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Ground confluence of order-sorted conditional specifications modulo axioms
• Testing confluence of nonterminating rewriting systems
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
• scientific article; zbMATH DE number 3990847
• Proving ground confluence and inductive validity in constructor based equational specifications

Cited in

(3)

• Ground confluence of order-sorted conditional specifications modulo axioms
• scientific article; zbMATH DE number 3990847 (Why is no real title available?)
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies

This page was built for publication: Proving ground confluence of equational specifications modulo axioms

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