![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 949
Volume 949, March 2023
- Laurent Bienvenu
, Valentino Delle Rose
, Wolfgang Merkle
:
Relativized depth. 113694
- Nan Zhang
, Chaofeng Yu, Zhenhua Duan, Cong Tian:
A proof system for unified temporal logic. 113702 - Giovanna D'Agostino, Davide Martincigh
, Alberto Policriti:
Ordering regular languages and automata: Complexity. 113709 - Long Zhang, Jiguo Yu
, Yuzhong Zhang, Donglei Du, Min Guo:
Efficiency and inefficiency of Nash equilibrium for scheduling games on batching-machines with activation cost. 113730 - Eduardo Sany Laber
, Lucas Murtinho:
Nearly tight bounds on the price of explainability for the k-center and the maximum-spacing clustering problems. 113744 - Austen Z. Fan
, Jin-Yi Cai:
Dichotomy result on 3-regular bipartite non-negative functions. 113745 - Jørgen Bang-Jensen
, Anders Yeo
:
The complexity of finding low chromatic spanning sub(di)graphs with prescribed connectivity properties. 113758
- Ilir Çapuni, Jarkko Kari, Alexander Shen:
Taming randomness and complexity - Essays in honour of Professor Péter Gács. 113776
![](https://dblp.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.