default search action
Journal of Computer and System Sciences, Volume 146
Volume 146, 2024
- Johanna Björklund:
The impact of state merging on predictive accuracy in probabilistic tree automata: Dietze's conjecture revisited. 103563 - Nina Klobas, George B. Mertzios, Hendrik Molter, Paul G. Spirakis:
The complexity of computing optimum labelings for temporal connectivity. 103564 - Guilherme C. M. Gomes, Clément Legrand-Duchesne, Reem Mahmoud, Amer E. Mouawad, Yoshio Okamoto, Vinícius Fernandes dos Santos, Tom C. van der Zanden:
Minimum separator reconfiguration. 103574 - Arnaud Durand, Juha Kontinen, Jouko Väänänen:
Modular SAT-based techniques for reasoning tasks in team semantics. 103575 - Lhouari Nourine, Jean-Marc Petit, Simon Vilmin:
Towards declarative comparabilities: Application to functional dependencies. 103576
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.