%0 Conference Paper %1 conf/fotfs/Welch01 %A Welch, Philip D. %B FotFS %D 2001 %E Löwe, Benedikt %E Piwinger, Boris %E Räsch, Thoralf %I Springer %K dblp %P 223-237 %T Post's and other problems of supertasks of higher type. %U http://dblp.uni-trier.de/db/conf/fotfs/fotfs2001.html#Welch01 %V 23 %@ 978-1-4020-2776-5

@inproceedings{conf/fotfs/Welch01, added-at = {2017-05-25T00:00:00.000+0200}, author = {Welch, Philip D.}, biburl = {https://www.bibsonomy.org/bibtex/21d1d22fdd0dc8eac5d80402efe50f62f/dblp}, booktitle = {FotFS}, crossref = {conf/fotfs/2001}, editor = {Löwe, Benedikt and Piwinger, Boris and Räsch, Thoralf}, ee = {https://doi.org/10.1007/978-1-4020-2776-5_13}, interhash = {5233c1e00df2fb8da42b918e996dabec}, intrahash = {1d1d22fdd0dc8eac5d80402efe50f62f}, isbn = {978-1-4020-2776-5}, keywords = {dblp}, pages = {223-237}, publisher = {Springer}, series = {Trends in Logic}, timestamp = {2020-05-30T11:40:57.000+0200}, title = {Post's and other problems of supertasks of higher type.}, url = {http://dblp.uni-trier.de/db/conf/fotfs/fotfs2001.html#Welch01}, volume = 23, year = 2001 }