%0 Conference Paper %1 conf/tamc/KawamuraST19 %A Kawamura, Akitoshi %A Steinberg, Florian %A Thies, Holger %B TAMC %D 2019 %E Gopal, T. V. %E Watada, Junzo %I Springer %K dblp %P 337-358 %T Second-Order Linear-Time Computability with Applications to Computable Analysis. %U http://dblp.uni-trier.de/db/conf/tamc/tamc2019.html#KawamuraST19 %V 11436 %@ 978-3-030-14812-6

@inproceedings{conf/tamc/KawamuraST19, added-at = {2020-11-02T00:00:00.000+0100}, author = {Kawamura, Akitoshi and Steinberg, Florian and Thies, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2db38326ff466bc406f5cecfe78bf83eb/dblp}, booktitle = {TAMC}, crossref = {conf/tamc/2019}, editor = {Gopal, T. V. and Watada, Junzo}, ee = {https://doi.org/10.1007/978-3-030-14812-6_21}, interhash = {ab20baddf4093a98da56928866444c04}, intrahash = {db38326ff466bc406f5cecfe78bf83eb}, isbn = {978-3-030-14812-6}, keywords = {dblp}, pages = {337-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-03T11:35:16.000+0100}, title = {Second-Order Linear-Time Computability with Applications to Computable Analysis.}, url = {http://dblp.uni-trier.de/db/conf/tamc/tamc2019.html#KawamuraST19}, volume = 11436, year = 2019 }