%0 Journal Article %1 journals/mscs/BanachJ15 %A Banach, Richard %A Jeske, Czeslaw %D 2015 %J Math. Struct. Comput. Sci. %K dblp %N 1 %P 135-202 %T Retrenchment and refinement interworking: the tower theorems. %U http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#BanachJ15 %V 25

@article{journals/mscs/BanachJ15, added-at = {2020-04-01T00:00:00.000+0200}, author = {Banach, Richard and Jeske, Czeslaw}, biburl = {https://www.bibsonomy.org/bibtex/2bf1c763be968dfe63b09eb916d444220/dblp}, ee = {https://doi.org/10.1017/S0960129514000061}, interhash = {dd72402ff9648ca1eb8f4ca728413aa8}, intrahash = {bf1c763be968dfe63b09eb916d444220}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {135-202}, timestamp = {2020-04-02T11:40:08.000+0200}, title = {Retrenchment and refinement interworking: the tower theorems.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#BanachJ15}, volume = 25, year = 2015 }