- A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations Jérémy Berthomieu Jean-Charles Faugère Mon 06 November 2023
- A Note on the Convergence of Multivariate Formal Power Series Solutions of Meromorphic Pfaffian Systems Renat Gontsov Irina Goryuchkina Mon 06 November 2023
- A New Method To Compute The Hadamard Product Of Two Rational Functions Ishan Kar Mon 06 November 2023
- A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages Frits Vaandrager Abhisek Midya Mon 06 November 2023
- A Grøbner-Basis Theory for Divide-and-Conquer Recurrences Frédéric Chyzak Philippe Dumas Mon 06 November 2023
- A Decidable Equivalence for a Turing-complete, Distributed Model of Computation Arnaldo Cesco Roberto Gorrieri Mon 06 November 2023
- Four Classes of Pattern-Avoiding Permutations Under One Roof: Generating Trees with Two Labels Mireille Bousquet-Mélou Mon 06 November 2023
- The (Ordinary) Generating Functions Enumerating 123-Avoiding Words with r Occurrences of Each of 1, 2, . . . , n Are Always Algebraic Nathaniel Shar Doron Zeilberger Mon 06 November 2023
- The Enumeration of Permutations with a Prescribed Number of Forbidden Patterns John Noonan Doron Zeilberger Mon 06 November 2023
- Excluded permutation matrices and the StanleyWilf conjecture Adam Marcus Gábor Tardos Mon 06 November 2023
- A Linear Time Algorithm for Finding Tree-Decompositions of Small Treewidth Hans L. Bodlaender Sun 05 November 2023
- A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth Hans L. Bodlaender Sun 05 November 2023
- Definability Results for Top-Down Tree Transducers Sebastian Maneth Helmut Seidl Martin Vu Sun 05 November 2023
- Latticed k-Induction with an Application to Probabilistic Programs Kevin Batz Mingshuai Chen Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Philipp Schrøer Sun 05 November 2023
- Reflections on Termination of Linear Loops Shaowei Zhu Zachary Kincaid Sun 05 November 2023
- Lovász-Type Theorems and Game Comonads Anuj Dawar Tomáš Jakl Luca Reggio Sun 05 November 2023
- Deciding FO-definability of regular languages Agi Kurucz Vladislav Ryzhikov Yury Savateev Michael Zakharyaschev Sun 05 November 2023
- Multi-Structural Games and Number of Quantifiers Ronald Fagin Jonathan Lenchner Kenneth W. Regan Nikhil Vyas Sun 05 November 2023
- The Logic of Graph Neural Networks Martin Grohe Sun 05 November 2023
- Submixing and Shift-invariant Stochastic Games Hugo Gimbert Edon Kelmendi Sun 05 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
