Walter J. Savitch;Paul M. B. Vitányi
-;-
Real-time simulation of concatenable double-ended queues by double-ended queues (Preliminary Version)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Ramified Corecurrence and Logspace
Electronic Notes in Theoretical Computer Science (ENTCS)