| ||||
| ||||
![]() Title:Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs Conference:IWC 2018 Tags:conditional rewriting, conditional term rewriting system, confluence, local confluence, term rewriting system, termination and unraveling Abstract: Unravelings, which are transformations of a conditional term rewriting system (CTRS, for short) into an unconditional term rewriting system (TRS, for short), are useful to prove confluence and operational termination of some CTRSs. A simultaneous unraveling has been proposed for normal 1-CTRSs and a sequential one has been proposed for deterministic 3-CTRSs, the class of which includes normal 1-CTRSs. In this paper, we first show that for a normal 1-CTRS, the simultaneously unraveled TRS is orthogonal iff so is the sequentially unraveled one. Then, we show that for a normal 1-CTRS, if the simultaneously unraveled TRS is terminating, then so is the sequentially unraveled one. Finally, we show that for a normal 1-CTRS with termination of the unraveled TRS, the simultaneously unraveled TRS is locally confluent iff so is the sequentially unraveled one. Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs ![]() Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs | ||||
Copyright © 2002 – 2025 EasyChair |