%0 Journal Article %1 journals/tcs/HerbstT93 %A Herbst, Thomas %A Thomas, Richard M. %D 1993 %J Theor. Comput. Sci. %K dblp %N 2 %P 187-213 %T Group Presentations, Formal Languages and Characterizations of One-Counter Groups. %U http://dblp.uni-trier.de/db/journals/tcs/tcs112.html#HerbstT93 %V 112

@article{journals/tcs/HerbstT93, added-at = {2011-09-07T00:00:00.000+0200}, author = {Herbst, Thomas and Thomas, Richard M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bd798e1207c980458abcaa88ee5b3c23/dblp}, ee = {http://dx.doi.org/10.1016/0304-3975(93)90018-O}, interhash = {ebb2e20b656f551bf626219a83d132ff}, intrahash = {bd798e1207c980458abcaa88ee5b3c23}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {187-213}, timestamp = {2016-02-02T10:03:30.000+0100}, title = {Group Presentations, Formal Languages and Characterizations of One-Counter Groups.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs112.html#HerbstT93}, volume = 112, year = 1993 }