Transformation for Refining Unraveled Conditional Term Rewriting Systems
From MaRDI portal
Publication:2866802
DOI10.1016/j.entcs.2007.02.048zbMath1277.68107OpenAlexW2081679718MaRDI QIDQ2866802
Naoki Nishida, Masahiko Sakai, Tomohiro Mizutani
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.048
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Transformations of Conditional Rewrite Systems Revisited ⋮ Characterizing and proving operational termination of deterministic conditional term rewriting systems ⋮ Applications and extensions of context-sensitive rewriting
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Operational termination of conditional term rewriting systems
- Conditional rewrite rules: Confluence and termination
- Elimination of conditions
- Unravelings and ultra-properties
- Computationally Equivalent Elimination of Conditions
- Term Rewriting and Applications
- Recent Trends in Algebraic Development Techniques
- Termination of logic programs: Transformational methods revisited
This page was built for publication: Transformation for Refining Unraveled Conditional Term Rewriting Systems