MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines
Journal of Computer and System Sciences
Hi-index | 0.00 |