Test Sets for the Universal and Existential Closure of Regular Tree Languages
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Parallelizing functional programs by generalization
Journal of Functional Programming
Hi-index | 0.00 |