Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
From MaRDI portal
Publication:5240131
DOI10.4230/OASIcs.WPTE.2014.3zbMath1428.68175OpenAlexW2242483705MaRDI QIDQ5240131
Publication date: 24 October 2019
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4587/pdf/p003-02-gmeiner.pdf
Related Items
Cites Work
- Conditional rewrite rules: Confluence and termination
- Elimination of conditions
- Unravelings and ultra-properties
- Transformations of Conditional Rewrite Systems Revisited
- Computationally Equivalent Elimination of Conditions
- Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
- ON (UN)SOUNDNESS OF UNRAVELINGS
- Term Rewriting and Applications
- Recent Trends in Algebraic Development Techniques
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems