%0 Conference Paper %1 conf/birthday/Ferbus-ZandaG10 %A Ferbus-Zanda, Marie %A Grigorieff, Serge %B Fields of Logic and Computation %D 2010 %E Blass, Andreas %E Dershowitz, Nachum %E Reisig, Wolfgang %I Springer %K dblp %P 301-327 %T ASMs and Operational Algorithmic Completeness of Lambda Calculus. %U http://dblp.uni-trier.de/db/conf/birthday/gurevich2010.html#Ferbus-ZandaG10 %V 6300 %@ 978-3-642-15024-1

@inproceedings{conf/birthday/Ferbus-ZandaG10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ferbus-Zanda, Marie and Grigorieff, Serge}, biburl = {https://www.bibsonomy.org/bibtex/2569c3fa4487ebe84c249c60d6ee61105/dblp}, booktitle = {Fields of Logic and Computation}, crossref = {conf/birthday/2010gurevich}, editor = {Blass, Andreas and Dershowitz, Nachum and Reisig, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-15025-8_16}, interhash = {c4a915e4060dea192af2163d0c44029a}, intrahash = {569c3fa4487ebe84c249c60d6ee61105}, isbn = {978-3-642-15024-1}, keywords = {dblp}, pages = {301-327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:22:29.000+0200}, title = {ASMs and Operational Algorithmic Completeness of Lambda Calculus.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gurevich2010.html#Ferbus-ZandaG10}, volume = 6300, year = 2010 }