%0 Journal Article %1 journals/eatcs/ShankarPPV17 %A Shankar, Natarajan %A Palamidessi, Catuscia %A Plotkin, Gordon D. %A Vardi, Moshe Y. %D 2017 %J Bull. EATCS %K dblp %T Alonzo Church Award 2017 - Call for Nominations. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs121.html#ShankarPPV17 %V 121

@article{journals/eatcs/ShankarPPV17, added-at = {2021-02-12T00:00:00.000+0100}, author = {Shankar, Natarajan and Palamidessi, Catuscia and Plotkin, Gordon D. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ff7b90f58a325f5586a2dccab7f566cf/dblp}, ee = {http://eatcs.org/beatcs/index.php/beatcs/article/view/468}, interhash = {f224a61148e182ca4c3be19e747050cd}, intrahash = {ff7b90f58a325f5586a2dccab7f566cf}, journal = {Bull. EATCS}, keywords = {dblp}, timestamp = {2024-04-09T00:58:29.000+0200}, title = {Alonzo Church Award 2017 - Call for Nominations.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs121.html#ShankarPPV17}, volume = 121, year = 2017 }