- Referenced in 5 articles
- CoLL: a confluence tool for left-linear term rewrite systems. We present a confluence tool ... left-linear term rewrite systems. The tool proves confluence by using Hindley’s commutation theorem...
- Referenced in 3 articles
- unraveling U(R) is left-linear and confluent [WT15...
- Referenced in 2 articles
- rewriting for the decidable class of left-linear right-ground rewrite systems...
- Referenced in 47 articles
- Timbuk is a collection of tools for achieving...
- Referenced in 10 articles
- The NASA PVS Library is a collection of...