On soundness conditions for unraveling deterministic conditional rewrite systems

DOI10.4230/LIPICS.RTA.2012.193MaRDI QIDQ5111905zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

simulationtransformationsoundnessconditional term rewriting system (CTRS)deterministic CTRS

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

Cited in

(9)

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