On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems

DOI10.4230/LIPIcs.RTA.2012.193zbMath1437.68081OpenAlexW2164444347MaRDI QIDQ5111905

Felix Schernhammer, Karl Gmeiner, Bernhard Gramlich

Publication date: 27 May 2020

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3493/pdf/16.pdf

zbMATH Keywords

simulationtransformationsoundnessconditional term rewriting system (CTRS)deterministic CTRS

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Determinization of conditional term rewriting systems ⋮ On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings

This page was built for publication: On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems