CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, `Logic at St. Petersburg', LFCS'94, Springer LNCS, vol. 813, Narode A., Matiyasevich Yu. V. eds. St. Petersburg, 1994. p. 379392.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In Proc. of the third International Symposium on Logical Foundations of Computer Science, pages 379--392, 1994.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: The higher-order case. In Proceedings of the third International Symposium on Logical Foundations of Computer Science, pages 379--392, 1994.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, Springer LNCS, vol. 813, Nerode A., Matiyasevich Yu. V. eds. 1994. p. 379-392.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, Springer LNCS, vol. 813, Narode A., Matiyasevich Yu. V. eds. St. Petersburg, 1994. p. 379-392.
V. van Oostrom and F. van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In A. Nerode and Yu.V. Matiyasevich, editors, Proceedings of the Third International Symposium on Logical Foundations of Computer Science (LFCS '94), volume 813 of Lecture Notes in Computer Science, pages 379--392, St. Petersburg, July 1994.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In A. Nerode, editor, Logical Foundations of Computer Science, volume 813 of Lect. Notes in Comp. Sci., pages 379--392. Springer-Verlag, 1994.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Symposium on Logical Foundations of Computer Science, LFCS'94, LNCS, vol. 813, Nerode A., Matiyasevich Yu. V., eds. St. Petersburg, 1994, p. 379-392.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: The higher-order case. In A. Nerode and Y.V. Matiyasevich, editors, Proc. 3rd Int. Symp. on Logical Foundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 379--392, St. Petersburg, Russia, July 1994. Springer-Verlag.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In [NM94, pp. 379--392]. Full version available as Technical Report, CS-R9501, CWI, January 1995.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Symposium on Logical Foundations of Computer Science, LFCS'94, LNCS, vol. 813, Nerode A., Matiyasevich Yu. V., eds. St. Petersburg, 1994, p. 379-392.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of LFCS'94, Springer LNCS, vol. 813, Narode A., Matiyasevich Yu. V. eds. St. Petersburg, 1994. p. 379-392.
V. van Oostrom and F. van Raamsdonk. Weak orthogonality implies confluence: The higher-order case. In 3rd Int. sympo. on Logical Foundations of Computer Science, pp. 379--392, 1994.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In [NM94, pp. 379--392]. Full version available as Technical Report, CS-R9501, CWI, January 1995.
Van Oostrom V. and van Raamsdonk F., Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, A. Nerode and Yu.V. Matiyasevich, eds., Springer LNCS, vol. 813, 1994. pp. 379-392.
V. v. Oostrom and F. v. Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In [78, pp. 379--392], 1994.
Van Oostrom V. and van Raamsdonk F., Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, A. Nerode and Yu.V. Matiyasevich, eds., Springer LNCS, vol. 813, 1994. pp. 379--392.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. Technical Report CS-R9501, CWI, 1995.
Van Oostrom, V. and van Raamsdonk, F. (1994), Weak orthogonality implies confluence: the higher-order case, in [51, pp. 379--392].
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: The higher-order case. In A. Nerode and Y.V. Matiyasevich, editors, Proc. 3rd Int. Symp. on Logical Foundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 379--392, St. Petersburg, Russia, July 1994. Springer-Verlag.
V. van Oostrom and F. van Raamsdonk. Weak orthogonality implies confluence: The higher-order case. In A. Nerode and Yu.V. Matiyasevich, editors, Proceedings of the third International Symposium on Logical Foundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 379--392. Springer, 1994.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In A. Nerode, editor, Logical Foundations of Computer Science, volume 813 of Lect. Notes in Comp. Sci., pages 379--392. Springer-Verlag, 1994.
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In [NM94, pp. 379--392], 1994.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. Proc. of LFCS'94, LNCS 813, pp. 379-392, 1994.
V. van Oostrom and F. van Raamsdonk, Weak orthogonality implies confluence: the higher-order case, in: A. Nerode and Yu.V. Matiyasevich, eds., Proc. Third International Conference on Logical Foundations of Computer Science, LFCS'94, Lecture Notes in Computer Science, Vol. 813 (Springer, Berlin, 1994) 379-392. 39
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higherorder case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, `Logic at St. Petersburg', LFCS'94, Springer LNCS, vol. 813, Narode A., Matiyasevich Yu. V. eds. St. Petersburg, 1994. p. 379-392.
V. van Oostrom and F. van Raamsdonk. Weak orthogonality implies confluence: The higher-order case. In A. Narode and Yu. V. Matiyasevich, editors, 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, volume 813 of LNCS, pages 379--392. Springer-Verlag, 1994.
Van Oostrom V., van Raamsdonk F. Weak orthogonality implies confluence: the higher-order case. In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, St. Petersburg, Nerode A., Matiyasevich Yu. V. eds., Springer LNCS, vol. 813, pp. 379-392, 1994.
V. van Oostrom and F. van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In LICS, 1994 This article was processed using the L A T E X macro package with LLNCS style
Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. pp. 379--392 in LFCS'94, LNCS 813.
V. van Oostrom and F. van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In A. Nerode, editor, Logical Foundations of Computer Science, pages 379--392. Springer LNCS 813, 1994.