DBLP Record 'conf/stoc/Ukkonen80'

BibTeX

@inproceedings{DBLP:conf/stoc/Ukkonen80,
  author    = {Esko Ukkonen},
  title     = {A Decision Method for the Equivalence of some Non-Real-Time
               Deterministic Pushdown Automata},
  booktitle = {STOC},
  year      = {1980},
  pages     = {29-38},
  crossref  = {DBLP:conf/stoc/STOC12},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC12,
  title     = {Conference Proceedings of the Twelfth Annual ACM Symposium
               on Theory of Computing, 28-30 April, Los Angeles, California,
               USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}