%0 Journal Article %1 journals/mlq/BorgerB80 %A Börger, Egon %A Büning, Hans Kleine %D 1980 %J Math. Log. Q. %K dblp %N 28-30 %P 459-469 %T The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set. %U http://dblp.uni-trier.de/db/journals/mlq/mlq26.html#BorgerB80 %V 26

@article{journals/mlq/BorgerB80, added-at = {2016-12-05T00:00:00.000+0100}, author = {Börger, Egon and Büning, Hans Kleine}, biburl = {https://www.bibsonomy.org/bibtex/2d0bd193f71b8641054ef4d66fc111992/dblp}, ee = {http://dx.doi.org/10.1002/malq.19800262805}, interhash = {945450c842649e633bfa7826c9b1949e}, intrahash = {d0bd193f71b8641054ef4d66fc111992}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {28-30}, pages = {459-469}, timestamp = {2016-12-06T11:34:08.000+0100}, title = {The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq26.html#BorgerB80}, volume = 26, year = 1980 }