How to delete categorically - Two pushout complement constructions
Journal of Symbolic Computation
The tao of parallelism in algorithms
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.00 |