default search action
Theoretical Computer Science, Volume 1006
Volume 1006, 2024
- Kyle Burke, Craig Tennenhouse:
The computational complexity of forced capture Hnefatafl. 114627 - Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. 114650 - Yuxu Chen, Hui Kou, Zhenchao Lyu:
Upper powerdomains of quasicontinuous dcpos. 114663 - Angelos Gkikas, Dimitrios Letsios, Tomasz Radzik, Kathleen Steinhöfel:
New bounds for single-machine time-dependent scheduling with uniform deterioration. 114673
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.