- Univariate Ore Polynomial Rings in Computer Algebra S. A. Abramov H. Q. Le Z. Li Mon 27 April 2020
- NIP omega-categorical structures: the rank 1 case Pierre Simon Sun 26 April 2020
- Some counting problems related to permutation groups Peter J. Cameron Sun 26 April 2020
- Effective Divergence Analysis for Linear Recurrence Sequences Shaull Almagor Brynmor Chapman Mehran Hosseini Joel Ouaknine James Worrell Sat 25 April 2020
- First-Order Orbit Queries Shaull Almagor Joel Ouaknine James Worrell Sat 25 April 2020
- The presence of a zero in an integer linear recurrent sequence is NP-hard to decide Vincent D. Blondel Natacha Portier Sat 25 April 2020
- Effective results on the Skolem Problem for linear recurrence sequences Min Sha Sat 25 April 2020
- Verification of Continuous-time Markov Chains Ji Guan Nengkun Yu Sat 25 April 2020
- Graph isomorphism in quasipolynomial time parameterized by treewidth Daniel Wiebking Sat 25 April 2020
- Formalization of Forcing in Isabelle/ZF Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Sat 25 April 2020
- Decision Problems in Information Theory Mahmoud Abo Khamis Phokion G. Kolaitis Hung Q. Ngo Dan Suciu Sat 25 April 2020
- Characterizing consensus in the Heard-Of model A. R. Balasubramanian Igor Walukiewicz Sat 25 April 2020
- The Imandra Automated Reasoning System (system description) Grant Olney Passmore Simon Cruanes Denis Ignatovich Dave Aitken Matt Bray Elijah Kagan Kostya Kanishev Ewen Maclean Nicola Mometto Sat 25 April 2020
- Proof Theory of Riesz Spaces and Modal Riesz Spaces Christophe Lucas Matteo Mio Sat 25 April 2020
- PRISM 4.0: Verification of Probabilistic Real-time Systems M. Kwiatkowska G. Norman D. Parker Fri 24 April 2020
- Efficient On-the-Fly Algorithms for the Analysis of Timed Games Franck Cassez Alexandre David Emmanuel Fleury Kim G. Larsen Didier Lime Fri 24 April 2020
- Multivariate linear recurrences and power series division Herwig Hauser Christoph Koutschan Fri 24 April 2020
- Non-commutative Elimination in Ore Algebras Proves Multivariate Identities F. Chyzak B. Salvy Fri 24 April 2020
- Factoring in Skew-polynomial Rings over Finite Fields M. Giesbrecht Fri 24 April 2020
- Theory of Non-Commutative Polynomials Oystein Ore Tue 21 April 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
