Efficient Second-Order Matching (1996)

Cached

Download Links

by Régis Curien , Zhenyu Qian , Hui Shi
Venue:In 7th International Conference on Rewriting Techniques and Applications
Citations:21 - 2 self