Generalized rewrite theories and coherence completion

DOI10.1007/978-3-319-99840-4_10zbMath1517.68166OpenAlexW2791762271MaRDI QIDQ6164539

No author found.

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)

Related Items (3)

Operationally-based program equivalence proofs using LCTRSs ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ Programming and symbolic computation in Maude

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