From conditional to unconditional rewriting

DOI10.1007/978-3-540-31959-7_13MaRDI QIDQ5703990zbMATH OpenOpenAlexFDO

Authors Grigore Roşu

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107129, http://hdl.handle.net/2142/10895

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Recommendations

• Computationally Equivalent Elimination of Conditions
• scientific article; zbMATH DE number 4092749
• Transformations of Conditional Rewrite Systems Revisited
• scientific article; zbMATH DE number 4092755
• scientific article; zbMATH DE number 4016182

Cited in

(17)

• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• Computing more specific versions of conditional rewriting systems
• Transformation for refining unraveled conditional term rewriting systems
• Rough diamond: an extension of equivalence-based rewriting
• Backward trace slicing for conditional rewrite theories
• Complexity of conditional term rewriting
• scientific article; zbMATH DE number 4016182 (Why is no real title available?)
• Transformations of Conditional Rewrite Systems Revisited
• Converting between Combinatory Reduction Systems and Big Step Semantics
• A New Method for Compiling Parallel Replacement Rules
• scientific article; zbMATH DE number 4060702 (Why is no real title available?)
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 4092749 (Why is no real title available?)
• scientific article; zbMATH DE number 4092755 (Why is no real title available?)
• Notes on structure-preserving transformations of conditional term rewrite systems
• Conditional complexity
• Conditional rewriting in focus

Describes a project that uses

Uses Software

• ELAN
• Maude
• OBJ3
• CafeOBJ
• Stratego

This page was built for publication: From conditional to unconditional rewriting

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