- Addition in Dumont-Thomas Numeration Systems in Theory and Practice Olivier Carton Jean-Michel Couvreur Martin Delacourt Nicolas Ollinger Sun 23 June 2024
- Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer Sun 23 June 2024
- Reversible Transducers over Infinite Words Luc Dartois Paul Gastin Loic Germerie Guizouarn R. Govind Shankaranarayanan Krishna Sun 23 June 2024
- A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata Yoshiaki Takata Akira Onishi Ryoma Senda Hiroyuki Seki Sun 23 June 2024
- Treewidth Inapproximability and Tight ETH Lower Bound Édouard Bonnet Sun 23 June 2024
- Computing the Bandwidth of Meager Timed Automata Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclán Sun 23 June 2024
- The strength of the dominance rule Leszek Aleksander Kołodziejczyk Neil Thapen Sun 23 June 2024
- Quantum automata and languages of finite index Andrea Benso Flavio D'Alessandro Paolo Papi Sun 23 June 2024
- SIGACT News Complexity Theory Column 121 Ben Lee Volk Thu 20 June 2024
- A machine realization of the linear context-free languages Arnold L. Rosenberg Tue 18 June 2024
- Learning two-tape automata from queries and counterexamples Takashi Yokomori Tue 18 June 2024
- On Rational Recursion for Holonomic Sequences Bertrand Teguia Tabuguia James Worrell Tue 18 June 2024
- On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation Alexander Brandt Marc Moreno Maza Fri 14 June 2024
- Factoring formal power series over principal ideal domains Jesse Elliott Fri 14 June 2024
- A non-commutative Weierstrass preparation theorem and applications to Iwasawa theory Otmar Venjakob Denis Vogel Thu 13 June 2024
- Top-down complementation of automata on finite trees Laurent Doyen Tue 11 June 2024
- On the structure and ideal theory of complete local rings Ira S. Cohen Tue 11 June 2024
- Algebraic Reasoning over Relational Structures Jan Jurka Stefan Milius Henning Urbat Tue 11 June 2024
- Formal methods for dynamical systems - invariants, reachability, inference Luisa Collodi Sun 09 June 2024
- On Efficient Algorithms For Partial Quantifier Elimination Eugene Goldberg Sat 08 June 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
