1994
Weak orthogonality implies confluence: the higher-order case
Publication
Publication
Presented at the
International Symposium on Logical Foundations of Computer Science, St. Petersburg, Russia
Additional Metadata | |
---|---|
, | |
Springer | |
A. Nerode (Anil) , Y.V. Matiyasevich | |
International Symposium on Logical Foundations of Computer Science | |
van Oostrom, V., & van Raamsdonk, F. (1994). Weak orthogonality implies confluence: the higher-order case. In A. Nerode & Y. V. Matiyasevich (Eds.), Advances in Cryptology - CRYPTO '95 (pp. 297–310). Springer. |