Coherent functions and program checkers
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
An efficient algorithm for partial order production
Proceedings of the forty-first annual ACM symposium on Theory of computing
An Efficient Algorithm for Partial Order Production
SIAM Journal on Computing
| Hi-index | 0.00 |