


default search action
Theoretical Computer Science, Volume 966
Volume 966-967, July 2023
- Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On counting propositional logic and Wagner's hierarchy. 113928 - Anaïs Durand, Michel Raynal
, Gadi Taubenfeld:
Reaching agreement in the presence of contention-related crash failures. 113982 - Michael A. Henning, Arti Pandey
, Vikash Tripathi
:
Algorithmic aspects of paired disjunctive domination in graphs. 113990 - Martin Kutrib
, Uwe Meyer:
Syntax checking either way. 114000
- Martin Kutrib
, Matthias Wendlandt:
State complexity of finite partial languages. 114001
- Yihong Wang, Jianxi Fan, Yuejuan Han, Yan Wang, Baolei Cheng:
Reliability evaluation of complete graph-based recursive networks. 114015 - Thomas Lidbetter
, Yifan Xie
:
The search and rescue game on a cycle. 114016

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.