%0 Journal Article %1 journals/tcs/FokkinkZ97 %A Fokkink, Wan J. %A Zantema, Hans %D 1997 %J Theor. Comput. Sci. %K dblp %N 2 %P 407-423 %T Termination Modulo Equations by Abstract Commutation with an Application to Iteration. %U http://dblp.uni-trier.de/db/journals/tcs/tcs177.html#FokkinkZ97 %V 177

@article{journals/tcs/FokkinkZ97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Fokkink, Wan J. and Zantema, Hans}, biburl = {https://www.bibsonomy.org/bibtex/29d3e42ca20be7ae988e3843d45599492/dblp}, ee = {https://doi.org/10.1016/S0304-3975(96)00254-X}, interhash = {5adcfad0c09f50d3dccd260667eab33a}, intrahash = {9d3e42ca20be7ae988e3843d45599492}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {407-423}, timestamp = {2024-04-08T18:35:47.000+0200}, title = {Termination Modulo Equations by Abstract Commutation with an Application to Iteration.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs177.html#FokkinkZ97}, volume = 177, year = 1997 }