%0 Journal Article %1 journals/tcs/TannenG91 %A Tannen, Val %A Gallier, Jean H. %D 1991 %J Theor. Comput. Sci. %K dblp %N 1 %P 3-28 %T Polymorphic Rewriting Conserves Algebraic Strong Normalization. %U http://dblp.uni-trier.de/db/journals/tcs/tcs83.html#TannenG91 %V 83

@article{journals/tcs/TannenG91, added-at = {2021-02-17T00:00:00.000+0100}, author = {Tannen, Val and Gallier, Jean H.}, biburl = {https://www.bibsonomy.org/bibtex/2ae691b35401ef12ec6bf96da6e2f3c9b/dblp}, ee = {https://doi.org/10.1016/0304-3975(91)90037-3}, interhash = {5fe8bdc984f256739a5c9f56b7dab5aa}, intrahash = {ae691b35401ef12ec6bf96da6e2f3c9b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {3-28}, timestamp = {2024-04-08T18:42:24.000+0200}, title = {Polymorphic Rewriting Conserves Algebraic Strong Normalization.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs83.html#TannenG91}, volume = 83, year = 1991 }