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
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.