- Determinization of Integral Discounted-Sum Automata is Decidable Shaull Almagor Neta Dafni Mon 16 October 2023
- New Lower Bounds for Reachability in Vector Addition Systems Wojciech Czerwiński Ismael Jecker Sławomir Lasota Jérôme Leroux Łukasz Orlikowski Mon 16 October 2023
- Word-Mappings of level 3 G. Sénizergues Thu 12 October 2023
- Path Logics for Querying Graphs: Combining Expressiveness and Efficiency Diego Figueira Leonid Libkin Tue 10 October 2023
- Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups Ulla Koppenhagen Ernst W. Mayr Mon 09 October 2023
- On the Length of Strongly Monotone Descending Chains over mathbbN^d Sylvain Schmitz Lia Schutze Sat 07 October 2023
- Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity Yoshiki Nakamura Sat 07 October 2023
- Reasoning about Intuitionistic Computation Tree Logic Davide Catta Vadim Malvone Aniello Murano Sat 07 October 2023
- Monotone Classes Beyond VNP Prerona Chatterjee Kshitij Gajjar Anamay Tengse Sat 07 October 2023
- Modular Exponentiation via the Explicit Chinese Remainder Theorem Daniel J. Bernstein Jonathan P. Sorenson Fri 06 October 2023
- Computing partial information out of intractable: Powers of algebraic numbers as an example Mika Hirvensalo Juhani Karhumaki Alexander Rabinovich Fri 06 October 2023
- Low-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs Eric Allender Nikhil Balaji Samir Datta Fri 06 October 2023
- On Matrix Powering in Low Dimensions Esther Galby Joel Ouaknine James Worrell Fri 06 October 2023
- On the complexity of algebraic numbers, and the bit-complexity of straight-line programs 1 Eric Allender Nikhil Balaji Samir Datta Rameshwar Pratap Fri 06 October 2023
- A combinatorial proof of the Cayley-Hamilton theorem Howard Straubing Fri 06 October 2023
- Determinant: Combinatorics, Algorithms, and Complexity Meena Mahajan V. Vinay Fri 06 October 2023
- Improved bounds for reduction to depth 4 and depth 3 Sébastien Tavenas Fri 06 October 2023
- The Power of Depth 2 Circuits over Algebras Chandan Saha Ramprasad Saptharishi Nitin Saxena Fri 06 October 2023
- Lower Bounds for Depth-4 Formulas Computing Iterated Matrix Multiplication Hervé Fournier Nutan Limaye Guillaume Malod Srikanth Srinivasan Fri 06 October 2023
- Arithmetic Circuits: A Chasm at Depth 3 Ankit Gupta Pritish Kamath Neeraj Kayal Ramprasad Saptharishi Fri 06 October 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
