%0 Journal Article %1 journals/eik/Salomaa92 %A Salomaa, Kai %D 1992 %J Elektronische Informationsverarbeitung und Kybernetik %K dblp %N 5 %P 279-309 %T Confluence, ground confluence, and termination of monadic term rewriting systems. %U http://dblp.uni-trier.de/db/journals/eik/eik28.html#Salomaa92 %V 28

@article{journals/eik/Salomaa92, added-at = {2003-07-14T00:00:00.000+0200}, author = {Salomaa, Kai}, biburl = {https://www.bibsonomy.org/bibtex/219976e62bd62a8b8a59075626555339e/dblp}, date = {2003-07-14}, description = {dblp}, interhash = {bb053ec3dfd608f5e0a43ac8d95971a5}, intrahash = {19976e62bd62a8b8a59075626555339e}, journal = {Elektronische Informationsverarbeitung und Kybernetik}, keywords = {dblp}, number = 5, pages = {279-309}, timestamp = {2003-07-14T00:00:00.000+0200}, title = {Confluence, ground confluence, and termination of monadic term rewriting systems.}, url = {http://dblp.uni-trier.de/db/journals/eik/eik28.html#Salomaa92}, volume = 28, year = 1992 }