1986
Conditional rewrite rules: confluence and termination
Publication
Publication
Journal of Computer Science and Technology , Volume 32 - Issue 3 p. 323- 362
Additional Metadata | |
---|---|
Springer | |
Journal of Computer Science and Technology | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., & Klop, J. W. (1986). Conditional rewrite rules: confluence and termination. Journal of Computer Science and Technology, 32(3), 323–362. |