Transformation for refining unraveled conditional term rewriting systems
DOI10.1016/J.ENTCS.2007.02.048zbMATH Open1277.68107OpenAlexW2081679718MaRDI QIDQ2866802FDOQ2866802
Authors: Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai 
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
Recommendations
- Notes on structure-preserving transformations of conditional term rewrite systems
- Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
- On soundness conditions for unraveling deterministic conditional rewrite systems
- Transformations of Conditional Rewrite Systems Revisited
- Unravelings and ultra-properties
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Operational termination of conditional term rewriting systems
- Conditional rewrite rules: Confluence and termination
- Unravelings and ultra-properties
- Computationally Equivalent Elimination of Conditions
- Termination of logic programs: Transformational methods revisited
- Title not available (Why is that?)
- Term Rewriting and Applications
- Narrowing-based simulation of term rewriting systems with extra variables and its termination proof
- Recent Trends in Algebraic Development Techniques
- Elimination of conditions
Cited In (12)
- Title not available (Why is that?)
- Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
- Unravelings and ultra-properties
- Title not available (Why is that?)
- Applications and extensions of context-sensitive rewriting
- Guided unfoldings for finding loops in standard term rewriting
- Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
- Correctness of Context-Moving Transformations for Term Rewriting Systems
- On soundness conditions for unraveling deterministic conditional rewrite systems
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- Improving transformation systems for general E-unification
- Transformations of Conditional Rewrite Systems Revisited
This page was built for publication: Transformation for refining unraveled conditional term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866802)
