On soundness conditions for unraveling deterministic conditional rewrite systems

DOI10.4230/LIPICS.RTA.2012.193zbMATH Open1437.68081OpenAlexW2164444347MaRDI QIDQ5111905FDOQ5111905

Bernhard Gramlich, Felix Schernhammer, Karl Gmeiner

Publication date: 27 May 2020

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

Recommendations

• Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
• Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
• On (un)soundness of unravelings
• Transformation for refining unraveled conditional term rewriting systems
• On proving soundness of the computationally equivalent transformation for normal conditional term rewriting systems by using unravelings

zbMATH Keywords

simulationtransformationsoundnessconditional term rewriting system (CTRS)deterministic CTRS

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (3)

• On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings
• Determinization of conditional term rewriting systems
• Proving confluence in the confluence framework with confident

This page was built for publication: On soundness conditions for unraveling deterministic conditional rewrite systems

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