Notes on structure-preserving transformations of conditional term rewrite systems

DOI10.4230/OASICS.WPTE.2014.3MaRDI QIDQ5240131zbMATH OpenOpenAlexFDO

Authors Karl Gmeiner, Naoki Nishida

Publication date 24 October 2019

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2014/4587/pdf/p003-02-gmeiner.pdf

zbMATH Keywords

condition eliminationconditional term rewritingunraveling

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Transformation for refining unraveled conditional term rewriting systems
• Transformations of Conditional Rewrite Systems Revisited
• Elimination of conditions
• On soundness conditions for unraveling deterministic conditional rewrite systems
• scientific article; zbMATH DE number 1405447

Cites work

• Computationally Equivalent Elimination of Conditions
• Conditional rewrite rules: Confluence and termination
• Elimination of conditions
• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 4092755 (Why is no real title available?)
• scientific article; zbMATH DE number 6168355 (Why is no real title available?)
• On (un)soundness of unravelings
• Recent Trends in Algebraic Development Techniques
• Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
• Term Rewriting and Applications
• Transformations of Conditional Rewrite Systems Revisited
• Unravelings and ultra-properties

Cited in

(7)

• Elimination of conditions
• Transformation for refining unraveled conditional term rewriting systems
• Transformations of Conditional Rewrite Systems Revisited
• scientific article; zbMATH DE number 3878354 (Why is no real title available?)
• scientific article; zbMATH DE number 4092755 (Why is no real title available?)
• scientific article; zbMATH DE number 1405447 (Why is no real title available?)
• Narrowing trees for syntactically deterministic conditional term rewriting systems

This page was built for publication: Notes on structure-preserving transformations of conditional term rewrite systems

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