Transformations of Conditional Rewrite Systems Revisited
From MaRDI portal
Publication:3184732
DOI10.1007/978-3-642-03429-9_12zbMath1253.68195MaRDI QIDQ3184732
Bernhard Gramlich, Karl Gmeiner
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
68Q42: Grammars and rewriting systems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- Conditional rewrite rules: Confluence and termination
- Elimination of conditions
- Proving operational termination of membership equational programs
- Transformation for Refining Unraveled Conditional Term Rewriting Systems
- Unravelings and ultra-properties
- Computationally Equivalent Elimination of Conditions
- Term Rewriting and All That
- Term Rewriting and Applications
- Recent Trends in Algebraic Development Techniques