- Tighter Construction of Tight Büchi Automata Marek Jankola Jan Strejček Thu 18 April 2024
- Ackermannian Completion of Separators Jérôme Leroux Thu 18 April 2024
- A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata Antoine Amarilli Marcelo Arenas YooJung Choi Mikael Monet Guy Van den Broeck Benjie Wang Thu 18 April 2024
- Formal factorization of higher order irregular linear differential operators Leanne Mezuman Sergei Yakovenko Thu 18 April 2024
- Nilpotence of orbits under monodromy and the length of Melnikov functions Pavao Mardešić Dmitry Novikov Laura Ortiz-Bobadilla Jessie Pontigo-Herrera Thu 18 April 2024
- Infinitesimal and tangential 16-th Hilbert problem on zero-cycles J.~L. Bravo P. Mardesic D. Novikov J. Pontigo-Herrera Thu 18 April 2024
- Bounds for rational points on algebraic curves, optimal in the degree, and dimension growth Gal Binyamini Raf Cluckers Dmitry Novikov Thu 18 April 2024
- Simple exponential estimate for the number of real zeros of complete abelian integrals Dmitri Novikov Sergei Yakovenko Thu 18 April 2024
- A new deterministic algorithm for sparse multivariate polynomial interpolation Markus Bläser Gorav Jindal Thu 18 April 2024
- A Deterministic PTAS for the Commutative Rank of Matrix Spaces Markus Blaser Gorav Jindal Anurag Pandey Thu 18 April 2024
- A Deterministic PTAS for the Algebraic Rank of Bounded Degree Polynomials Vishwas Bhargava Markus Bläser Gorav Jindal Anurag Pandey Thu 18 April 2024
- Locality Theorems in Semiring Semantics Clotilde Bizière Erich Grädel Matthias Naaf Thu 18 April 2024
- Implicit automata in łambda-calculi III: affine planar string-to-string functions Cécilia Pradic Ian Price Thu 18 April 2024
- Pi2^P vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem Dmitriy Zhuk Thu 18 April 2024
- Function spaces for orbit-finite sets Mikołaj Bojańczyk Lê Thành Dũng Nguyên Rafał Stefański Thu 18 April 2024
- The Church Synthesis Problem over Continuous Time Alexander Rabinovich Daniel Fattal Thu 18 April 2024
- On the complexity of Chow and Hurwitz forms Mahmut Levent Doğan Alperen Ali Ergur Elias Tsigaridas Thu 18 April 2024
- A Uniform Framework for Language Inclusion Problems Kyveli Doveri Pierre Ganty Chana Weil-Kennedy Thu 18 April 2024
- The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture Ambroise Baril Miguel Couceiro Victor Lagerkvist Thu 18 April 2024
- Invariant ideals of local analytic and formal vector fields Niclas Kruff Thu 18 April 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
