![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Bulletin of the EATCS, Volume 124
Volume 124, February 2018
- Paul G. Spirakis:
Letter from the President. - Kazuo Iwama:
Letter from the Bulletin Editor. - Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar:
Alonzo Church Award 2018 - Call for Nominations. - Natasha Jonoska, Gheorghe Paun, Grzegorz Rozenberg:
Obituary for Tom Head.
- Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. - Tim Bell, Paul Tymann, Amiram Yehudai:
The Big Ideas in Computer Science for K-12 Curricula. - Andreas Blass, Yuri Gurevich:
Who needs category theory?
- Wolfgang Mulzer:
Five Proofs of Chernoff's Bound with Applications.
- Emanuele Natale:
On the Computational Power of Simple Dynamics.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.