%0 Journal Article %1 journals/mscs/Collins20 %A Collins, Pieter %D 2020 %J Math. Struct. Comput. Sci. %K dblp %N 2 %P 173-233 %T Computable analysis with applications to dynamic systems. %U http://dblp.uni-trier.de/db/journals/mscs/mscs30.html#Collins20 %V 30

@article{journals/mscs/Collins20, added-at = {2020-04-01T00:00:00.000+0200}, author = {Collins, Pieter}, biburl = {https://www.bibsonomy.org/bibtex/28425ae5d6ab033b323f6b8e5e208c91f/dblp}, ee = {https://doi.org/10.1017/S096012952000002X}, interhash = {528dc71d46d6b7754f92f538496fc3f6}, intrahash = {8425ae5d6ab033b323f6b8e5e208c91f}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {173-233}, timestamp = {2020-04-02T11:41:42.000+0200}, title = {Computable analysis with applications to dynamic systems.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs30.html#Collins20}, volume = 30, year = 2020 }