Bi-rewriting a term rewriting technique for monotonic order relations
| Author(s) : | Jordi Levy, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| Abstract : | Abstract. We propose an extension of rewriting techniques to derive inclusion relations a ` b between terms built from monotonic operators. Instead of using only a rewriting relation \Gamma! and rewriting a to b, we use another rewriting relation \Gamma! as well and seek a common expression c such that a, |