default search action
Theoretical Computer Science, Volume 998
Volume 998, 2024
- Jochen Könemann, Justin Toth, Felix Zhou:
On the complexity of nucleolus computation for bipartite b-matching games. 114476 - Émile Naquin, Maximilien Gadouleau:
Factorisation in the semiring of finite dynamical systems. 114509 - Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio:
Graph convexity impartial games: Complexity and winning strategies. 114534 - Léo Poirier, Wolfgang Steiner:
Factor-balanced S-adic languages. 114535 - Michele Pasqua, Marino Miculan:
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. 114537 - Hans Kleine Büning:
Classes of propositional UMU formulas and their extensions to minimal unsatisfiable formulas. 114538 - Juha Honkala:
Rational power series in several noncommuting variables and the Skolem-Mahler-Lech theorem. 114540 - Fabrizio Frati:
Upward planarity testing of biconnected outerplanar DAGs solves partition. 114541
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.