%0 Conference Paper %1 conf/icalp/SalvatiW11 %A Salvati, Sylvain %A Walukiewicz, Igor %B ICALP (2) %D 2011 %E Aceto, Luca %E Henzinger, Monika %E Sgall, Jirí %I Springer %K dblp %P 162-173 %T Krivine Machines and Higher-Order Schemes. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#SalvatiW11 %V 6756 %@ 978-3-642-22011-1

@inproceedings{conf/icalp/SalvatiW11, added-at = {2017-05-23T00:00:00.000+0200}, author = {Salvati, Sylvain and Walukiewicz, Igor}, biburl = {https://www.bibsonomy.org/bibtex/2a4b91c39a463145454f3a6bcece17400/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2011-2}, editor = {Aceto, Luca and Henzinger, Monika and Sgall, Jirí}, ee = {https://doi.org/10.1007/978-3-642-22012-8_12}, interhash = {7b1d0c3803620ea21428da04deeee39d}, intrahash = {a4b91c39a463145454f3a6bcece17400}, isbn = {978-3-642-22011-1}, keywords = {dblp}, pages = {162-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:29:01.000+0200}, title = {Krivine Machines and Higher-Order Schemes.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#SalvatiW11}, volume = 6756, year = 2011 }