Accessible telephone directories
Journal of Symbolic Logic
Complexity and real computation
Complexity and real computation
Fast quantifier elimination means p = NP
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Hi-index | 0.00 |