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

conditional term rewriting system (CTRS)deterministic CTRSsimulationsoundnesstransformation

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

(10)

• Determinization of conditional term rewriting systems
• Transformation for refining unraveled conditional term rewriting systems
• Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
• Unravelings and ultra-properties
• Formalizing soundness and completeness of unravelings
• Notes on structure-preserving transformations of conditional term rewrite systems
• On proving soundness of the computationally equivalent transformation for normal conditional term rewriting systems by using unravelings
• 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

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)