1995
Weak orthogonality implies confluence : the higher-order case
Publication
Publication
In this paper we prove confluence for weakly orthogonal Higher-Order Rewriting Systems. This generalises all the known `confluence by orthogonality' results.
Additional Metadata | |
---|---|
, | |
CWI | |
Department of Computer Science [CS] | |
van Oostrom, V, & van Raamsdonk, F. (1995). Weak orthogonality implies confluence : the higher-order case. Department of Computer Science [CS]. CWI.
|