Transformations of Conditional Rewrite Systems Revisited

DOI10.1007/978-3-642-03429-9_12MaRDI QIDQ3184732zbMATH OpenOpenAlexFDO

Authors Karl Gmeiner, Bernhard Gramlich

Publication date 22 October 2009

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03429-9_12

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Notes on structure-preserving transformations of conditional term rewrite systems
• Elimination of conditions
• Transformation for refining unraveled conditional term rewriting systems
• scientific article; zbMATH DE number 4092755
• On (un)soundness of unravelings

Cites work

• Characterizing and proving operational termination of deterministic conditional term rewriting systems
• 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 4090848 (Why is no real title available?)
• Proving operational termination of membership equational programs
• Recent Trends in Algebraic Development Techniques
• Term Rewriting and All That
• Term Rewriting and Applications
• Transformation for refining unraveled conditional term rewriting systems
• Unravelings and ultra-properties

Cited in

(16)

• Elimination of conditions
• A class of rewriting rules and reverse transformation for rule-based equivalent transformation
• Transformation for refining unraveled conditional term rewriting systems
• scientific article; zbMATH DE number 3878354 (Why is no real title available?)
• scientific article; zbMATH DE number 3949707 (Why is no real title available?)
• scientific article; zbMATH DE number 4092755 (Why is no real title available?)
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• scientific article; zbMATH DE number 1405447 (Why is no real title available?)
• 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
• Recent Trends in Algebraic Development Techniques
• Correctness of Context-Moving Transformations for Term Rewriting Systems
• Transformations of expressions associated with systems of recursion relations
• Characterizing and proving operational termination of deterministic conditional term rewriting systems
• Elimination transformations for associative-commutative rewriting systems
• A transformational characterization of if-then-else

This page was built for publication: Transformations of Conditional Rewrite Systems Revisited

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