- On the Number of Quantifiers Needed to Define Boolean Functions Marco Carmosino Ronald Fagin Neil Immerman Phokion Kolaitis Jonathan Lenchner Rik Sengupta Thu 04 July 2024
- Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets Hao Wu Jie Wang Bican Xia Xiakun Li Naijun Zhan Ting Gan Thu 04 July 2024
- An invitation to game comonads Samson Abramsky Luca Reggio Thu 04 July 2024
- Learning Closed Signal Flow Graphs Ekaterina Piotrovskaya Leo Lobski Fabio Zanasi Thu 04 July 2024
- Unveiling the connection between the Lyndon factorization and the Canonical Inverse Lyndon factorization via a border property Paola Bonizzoni Clelia De Felice Brian Riccardi Rocco Zaccagnino Rosalba Zizza Tue 02 July 2024
- Minimising the Probabilistic Bisimilarity Distance Stefan Kiefer Qiyi Tang Tue 02 July 2024
- Decidability of Krohn-Rhodes complexity for all finite semigroups and automata Stuart Margolis John Rhodes Anne Schilling Mon 01 July 2024
- Reachability and Safety Games under TSO Semantics (Extended Version) Stephan Spengler Mon 01 July 2024
- The Complexity of Simplifying ømega-Automata through the Alternating Cycle Decomposition Antonio Casares Corto Mascle Mon 01 July 2024
- Parameterizing the quantification of CMSO: model checking on minor-closed graph classes Ignasi Sau Giannos Stamoulis Dimitrios M. Thilikos Thu 27 June 2024
- The Power of Counting Steps in Quantitative Games Sougata Bose Rasmus Ibsen-Jensen David Purser Patrick Totzke Pierre Vandenhove Thu 27 June 2024
- Positive and monotone fragments of FO and LTL Denis Kuperberg Quentin Moreau Thu 27 June 2024
- Drag Rewriting Nachum Dershowitz Jean-Pierre Jouannaud Fernando Orejas Thu 27 June 2024
- Computable one-way functions on the reals George Barmpalias Xiaoyan Zhang Thu 27 June 2024
- Model Checking Markov Chains as Distribution Transformers Rajab Aghamov Christel Baier Toghrul Karimov Joris Nieuwveld Joel Ouaknine Jakob Piribauer Mihir Vahanwala Thu 27 June 2024
- Phase-Bounded Broadcast Networks over Topologies of Communication Lucie Guillou Arnaud Sangnier Nathalie Sznajder Thu 27 June 2024
- Grokking the Sequent Calculus (Functional Pearl) David Binder Marco Tzschentke Marius Muller Klaus Ostermann Thu 27 June 2024
- Completeness classes in algebraic complexity theory Peter Burgisser Sun 23 June 2024
- Branch-Well-Structured Transition Systems and Extensions Benedikt Bollig Alain Finkel Amrita Suresh Sun 23 June 2024
- Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups Ruiwen Dong Sun 23 June 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
