- Computational Complexity of Probabilistic Turing Machines John Gill Sat 16 September 2023
- Sur une classe de problemes de denombrement lies au treillis des partitions des entiers Germain Kreweras Sat 16 September 2023
- On the enumeration of planar maps W. T. Tutte Fri 15 September 2023
- Primality and Identity Testing via Chinese Remaindering Manindra Agrawal Somenath Biswas Fri 15 September 2023
- Uber høhere Kongruenzen Adolf Hurwitz Fri 15 September 2023
- Enumerative combinatorics and algebraic languages Gérard Viennot Fri 15 September 2023
- A simple combinatorial proof for the small model property of two-variable logic Yanger Ma Tony Tan Fri 15 September 2023
- Polynomials with Rational Coefficients Which are Hard to Compute Volker Strassen Fri 15 September 2023
- On Annihilators of Explicit Polynomial Maps Prerona Chatterjee Anamay Tengse Fri 15 September 2023
- A Deductive Verification Infrastructure for Probabilistic Programs Philipp Schrøer Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Fri 15 September 2023
- Feasibility of Learning Weighted Automata on a Semiring Laure Daviaud Marianne Johnson Fri 15 September 2023
- The complexity of accurate floating point computation James Demmel Fri 15 September 2023
- Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings Andreas Maletti Nils Oskar Nuernbergk Thu 14 September 2023
- On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek Thu 14 September 2023
- Weighted Automata over Vector Spaces Nada Damljanović Miroslav Ćirić Jelena Ignjatović Thu 14 September 2023
- A General Approach to Proving Properties of Fibonacci Representations via Automata Theory Jeffrey Shallit Sonja Linghui Shan Thu 14 September 2023
- The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets Petr Jančar Jérôme Leroux Thu 14 September 2023
- Dimension-Minimality and Primality of Counter Nets Shaull Almagor Guy Avni Henry Sinclair-Banks Asaf Yeshurun Mon 04 September 2023
- A quantifier elimination for the theory of p-adic numbers L. Egidi Fri 01 September 2023
- On determinants, matchings, and random algorithms László Lovász Fri 01 September 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
