On soundness conditions for unraveling deterministic conditional rewrite systems

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

Authors: Karl Gmeiner, Felix Schernhammer, Bernhard Gramlich 

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 (9)

• On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings
• Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
• Unravelings and ultra-properties
• Formalizing soundness and completeness of unravelings
• Determinization of conditional term rewriting systems
• Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
• On (un)soundness of unravelings
• Proving confluence in the confluence framework with confident
• Transformation for refining unraveled conditional term rewriting systems

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)