%0 Conference Paper %1 conf/ershov/KfouryU89 %A Kfoury, A. J. %A Urzyczyn, Pawel %B Logic at Botik %D 1989 %E Meyer, Albert R. %E Taitslin, Michael A. %I Springer %K dblp %P 186-199 %T Algo-Like Languages with Higher-Order Procedures and Their Expressive Power. %U http://dblp.uni-trier.de/db/conf/ershov/botik1989.html#KfouryU89 %V 363 %@ 0-387-51237-3

@inproceedings{conf/ershov/KfouryU89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kfoury, A. J. and Urzyczyn, Pawel}, biburl = {https://www.bibsonomy.org/bibtex/2590299039c1adad00b3dd90678496ff6/dblp}, booktitle = {Logic at Botik}, crossref = {conf/ershov/1989}, editor = {Meyer, Albert R. and Taitslin, Michael A.}, ee = {https://doi.org/10.1007/3-540-51237-3_16}, interhash = {adbe12c8a0b80be8868feb2b35179e98}, intrahash = {590299039c1adad00b3dd90678496ff6}, isbn = {0-387-51237-3}, keywords = {dblp}, pages = {186-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:58:12.000+0200}, title = {Algo-Like Languages with Higher-Order Procedures and Their Expressive Power.}, url = {http://dblp.uni-trier.de/db/conf/ershov/botik1989.html#KfouryU89}, volume = 363, year = 1989 }