- The Algebras for Automatic Relations Rémi Morvan Tue 30 April 2024
- Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings Manfred Droste Werner Kuich Tue 30 April 2024
- A Multivariate to Bivariate Reduction for Noncommutative Rank and Related Results Vikraman Arvind Pushkar S Joglekar Tue 30 April 2024
- A proof theory of (omega-)context-free languages, via non-wellfounded proofs Anupam Das Abhishek De Tue 30 April 2024
- Uniform Substitution for Differential Refinement Logic Enguerrand Prebet André Platzer Tue 30 April 2024
- The Acrobatics of BQP Scott Aaronson DeVon Ingram William Kretschmer Tue 30 April 2024
- Lookahead Games and Efficient Determinisation of History-Deterministic Btextbackslash''uchi Automata Rohan Acharya Marcin Jurdziński Aditya Prakash Tue 30 April 2024
- Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron Tue 30 April 2024
- Periods, Power Series, and Integrated Algebraic Numbers Tobias Kaiser Mon 29 April 2024
- Improved Algorithm for Reachability in d-VASS Yuxi Fu Qizhe Yang Yangluo Zheng Mon 29 April 2024
- Symbolic computation of differential equivalences Luca Cardelli Mirco Tribastone Max Tschaikowski Andrea Vandin Mon 29 April 2024
- Functional Closure Properties of Finite mathbbN-weighted Automata Julian Dørfler Christian Ikenmeyer Wed 24 April 2024
- Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs Mohan Dantam Richard Mayr Wed 24 April 2024
- Solving promise equations over monoids and groups Alberto Larrauri Stanislav Živný Wed 24 April 2024
- Model Checking Real-Time Systems Patricia Bouyer Uli Fahrenberg Kim Guldstrand Larsen Nicolas Markey Joel Ouaknine James Worrell Sun 21 April 2024
- Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification Till Tantau Sun 21 April 2024
- The General and Finite Satisfiability Problems for PCTL are Undecidable Miroslav Chodil Antonín Kučera Sat 20 April 2024
- Products, Polynomials and Differential Equations in the Stream Calculus Michele Boreale Luisa Collodi Daniele Gorla Fri 19 April 2024
- L'algebre de Lie des transpositions Ivan Marin Thu 18 April 2024
- The Lie superalgebra of transpositions Christopher M. Drupieski Jonathan R. Kujawa Thu 18 April 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
