%0 Conference Paper %1 conf/stoc/Harel84 %A Harel, David %B STOC %D 1984 %E DeMillo, Richard A. %I ACM %K dblp %P 418-427 %T A General Result on Infinite Trees and Its Applications (Preliminary Report) %U http://dblp.uni-trier.de/db/conf/stoc/stoc84.html#Harel84

@inproceedings{conf/stoc/Harel84, added-at = {2018-11-06T00:00:00.000+0100}, author = {Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/261dbd87d2630479a5c35ca9a07bb2077/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC16}, editor = {DeMillo, Richard A.}, ee = {https://doi.org/10.1145/800057.808708}, interhash = {2eefe343d8e10be2d66466200b554b89}, intrahash = {61dbd87d2630479a5c35ca9a07bb2077}, keywords = {dblp}, pages = {418-427}, publisher = {ACM}, timestamp = {2018-11-07T14:44:06.000+0100}, title = {A General Result on Infinite Trees and Its Applications (Preliminary Report)}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc84.html#Harel84}, year = 1984 }