Generalized rewrite theories and coherence completion

DOI10.1007/978-3-319-99840-4_10MaRDI QIDQ6164539zbMATH OpenOpenAlexFDO

Authors

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/99546

zbMATH Keywords

coherencerewritingsymbolic execution

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Recommendations

• Generalized rewrite theories, coherence completion, and symbolic methods
• scientific article; zbMATH DE number 2038715
• Semantic foundations for generalized rewrite theories
• A Maude coherence checker tool for conditional order-sorted rewrite theories
• Strict coherence of conditional rewriting modulo axioms

Cited in

(8)

• Generalized rewrite theories, coherence completion, and symbolic methods
• Programming and symbolic computation in Maude
• Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation
• Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
• A Maude coherence checker tool for conditional order-sorted rewrite theories
• Term Rewriting and Applications
• Rewriting in Gray categories with applications to coherence
• Operationally-based program equivalence proofs using LCTRSs

This page was built for publication: Generalized rewrite theories and coherence completion

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