![](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
Information and Computation, Volume 263
Volume 263, December 2018
- Jiaqi Wang, Edward Talmage, Hyunyoung Lee, Jennifer L. Welch:
Improved time bounds for linearizable implementations of abstract data types. 1-30 - Shenggang Ying, Mingsheng Ying
:
Reachability analysis of quantum Markov decision processes. 31-51 - Ken-etsu Fujita:
The Church-Rosser theorem and quantitative analysis of witnesses. 52-56 - Mattia D'Emidio
, Gabriele Di Stefano, Daniele Frigioni
, Alfredo Navarra
:
Characterizing the computational power of mobile robots on graphs and implications for the Euclidean plane. 57-74 - Ilan Komargodski, Mark Zhandry:
Cutting-edge cryptography through the lens of secret sharing. 75-96
![](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.