- Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures Paulius Dilkas Vaishak Belle Wed 19 February 2025
- War and Esport: The Russian Invasions Impact on the Performance of Ukrainian and Russian Professional Players Cornel Nesseler Viktor Shtrum Wed 19 February 2025
- Vanishing of Schubert Coefficients Igor Pak Colleen Robichaux Tue 18 February 2025
- Nondeterministic tree-walking automata are not closed under complementation Olga Martynova Alexander Okhotin Tue 18 February 2025
- New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Tomáš Nagy Michael Pinsker Michał Wrona Tue 18 February 2025
- Relators and Notions of Simulation Revisited Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schrøder Paul Wild Tue 18 February 2025
- On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number Jorge Gallego-Hernandez Alessio Mansutti Tue 18 February 2025
- Petri Nets and Higher-Dimensional Automata Amazigh Amrane Hugo Bazille Uli Fahrenberg Loic Hélouet Philipp Schlehuber-Caissier Tue 18 February 2025
- Low rank MSO Mikołaj Bojańczyk Michał Pilipczuk Wojciech Przybyszewski Marek Sokołowski Giannos Stamoulis Fri 14 February 2025
- Sink equilibria and the attractors of learning in games Oliver Biggar Christos Papadimitriou Fri 14 February 2025
- An efficient uniqueness theorem for overcomplete tensor decomposition Pascal Koiran Fri 14 February 2025
- Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests Roland Guttenberg Wojciech Czerwiński Sławomir Lasota Fri 14 February 2025
- Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata Filip Mazowiecki Antoni Puch Daniel Smertnig Fri 14 February 2025
- Algebraic metacomplexity and representation theory Maxim van den Berg Pranjal Dutta Fulvio Gesmundo Christian Ikenmeyer Vladimir Lysikov Fri 14 February 2025
- The Parameterized Complexity of Learning Monadic Second-Order Logic Steffen van Bergerem Martin Grohe Nina Runde Fri 14 February 2025
- On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates Thomas Colcombet Alexander Rabinovich Fri 14 February 2025
- Fair Vertex Problems Parameterized by Cluster Vertex Deletion Tomáš Masařík Jędrzej Olkowski Anna Zych-Pawlewicz Fri 14 February 2025
- Some structural complexity results for existsmathbb R Klaus Meer Adrian Wurm Fri 14 February 2025
- Navigational hierarchies of regular languages Thomas Place Marc Zeitoun Fri 14 February 2025
- Cerny type automata and rank conjecture Igor Rystsov Fri 14 February 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
