Inproceedings,

Time and Tape Bounded Auxiliary Pushdown Automata.

.
MFCS, volume 53 of Lecture Notes in Computer Science, page 493-503. Springer, (1977)

Meta data

Tags

Users

  • @dblp

Comments and Reviews