Machine models and linear time complexity
ACM SIGACT News
Linear time and the power of one first-order universal quantifier
Information and Computation
Local Problems, Planar Local Problems and Linear Time
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Graph properties checkable in linear time in the number of vertices
Journal of Computer and System Sciences
Hi-index | 0.00 |