![](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
Journal of Computer and System Sciences, Volume 136
Volume 136, September 2023
- David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie:
Complexity of verification in self-assembly with prebuilt assemblies. 1-16
- Siddharth Gupta
, Guy Sa'ar, Meirav Zehavi:
Grid recognition: Classical and parameterized computational perspectives. 17-62 - Paloma T. Lima, Vinícius Fernandes dos Santos
, Ignasi Sau, Uéverton S. Souza, Prafullkumar Tale:
Reducing the vertex cover number via edge contractions. 63-87 - Tomoyuki Yamakami:
The 2CNF Boolean formula satisfiability problem and the linear space hypothesis. 88-112 - Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
Markov chains and unambiguous automata. 113-134 - Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan
:
Addition machines, automatic functions and open problems of Floyd and Knuth. 135-156
- Lukas Behrendt, Katrin Casel, Tobias Friedrich, J. A. Gregor Lagodzinski, Alexander Löser, Marcus Wilhelm:
From symmetry to asymmetry: Generalizing TSP approximations by parametrization. 157-170
- Fedor V. Fomin
, Petr A. Golovach
, Nidhi Purohit:
Parameterized complexity of categorical clustering with size constraints. 171-194 - Miika Hannula
, Xinyi Li, Sebastian Link
:
Controlling entity integrity with key sets. 195-219 - Valentin Bartier, Nicolas Bousquet, Amer E. Mouawad
:
Galactic token sliding. 220-248 - Julio Aracena, Adrien Richard
, Lilian Salinas:
Synchronizing Boolean networks asynchronously. 249-279
- Ashwin Jacob, Diptapriyo Majumdar
, Venkatesh Raman:
Deletion to scattered graph classes II - improved FPT algorithms for deletion to pairs of graph classes. 280-301 - Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith:
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. 302-326
![](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.