Article,
Alonzo Church Award 2017 - Call for Nominations.
N. Shankar, C. Palamidessi, G. Plotkin, and M. Vardi.Bull. EATCS, (2017)
Meta data
- BibTeX key
- journals/eatcs/ShankarPPV17
- entry type
- article
- year
- 2017
- journal
- Bull. EATCS
- volume
- 121
- ee
- http://eatcs.org/beatcs/index.php/beatcs/article/view/468
- url
- http://dblp.uni-trier.de/db/journals/eatcs/eatcs121.html#ShankarPPV17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}