%0 Journal Article %1 journals/eatcs/Vardi16 %A Vardi, Moshe Y. %D 2016 %J Bull. EATCS %K dblp %T Alonzo Church Award 2016 - Call for Nominations. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs118.html#Vardi16 %V 118

@article{journals/eatcs/Vardi16, added-at = {2021-02-12T00:00:00.000+0100}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ef4ea407e8275653422372fd4ec7ba07/dblp}, ee = {http://eatcs.org/beatcs/index.php/beatcs/article/view/397}, interhash = {99c2c1bfffa61c650cf8d14b7d8fb347}, intrahash = {ef4ea407e8275653422372fd4ec7ba07}, journal = {Bull. EATCS}, keywords = {dblp}, timestamp = {2024-04-09T00:58:34.000+0200}, title = {Alonzo Church Award 2016 - Call for Nominations.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs118.html#Vardi16}, volume = 118, year = 2016 }