Efficient Second-Order Matching

Régis Curien, Zhenyu Qian, Hui Shi. Efficient Second-Order Matching. In Harald Ganzinger, editor, Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Volume 1103 of Lecture Notes in Computer Science, pages 317-331, Springer, 1996.

Authors

Régis Curien

This author has not been identified. Look up 'Régis Curien' in Google

Zhenyu Qian

This author has not been identified. Look up 'Zhenyu Qian' in Google

Hui Shi

This author has not been identified. Look up 'Hui Shi' in Google