- On combinatorial differential equations Gilbert Labelle Mon 20 February 2023
- The relation between burnside rings and combinatorial species J Labelle Y.N Yeh Mon 20 February 2023
- Polynomial Species and Connections Among Bases of the Symmetric Polynomials Domenico Senato Antonietta M. Venezia Mon 20 February 2023
- Power series, power serious M. DOUGLAS MCILROY Mon 20 February 2023
- Constructive Proof of Hilbert's Theorem on Ascending Chains A. Seidenberg Mon 20 February 2023
- Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation Bruno Salvy Mon 20 February 2023
- Combinatorial species and graph enumeration Andy Hardt Pete McNeely Tung Phan Justin M. Troyka Mon 20 February 2023
- A species approach to Rota's twelvefold way Anders Claesson Mon 20 February 2023
- String Diagrammatic Electrical Circuit Theory Guillaume Boisseau Paweł Sobociński Mon 20 February 2023
- A compositional theory of digital circuits Dan R. Ghica George Kaye David Sprunger Mon 20 February 2023
- Computing Reachable Simulations Pierre Ganty Nicolas Manini Francesco Ranzato Mon 20 February 2023
- Weighted Tree Automata with Constraints Andreas Maletti Andreea-Teodora Nász Mon 20 February 2023
- First-Order Model Checking on Structurally Sparse Graph Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Mon 20 February 2023
- Buchi-like characterizations for Parikh-recognizable omega-languages Mario Grobler Sebastian Siebertz Mon 20 February 2023
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures Stephane Demri Karin Quaas Mon 20 February 2023
- Lower bounds for Choiceless Polynomial Time via Symmetric XOR-circuits Benedikt Pago Mon 20 February 2023
- Heckerthoughts David Heckerman Mon 20 February 2023
- Languages With Decidable Learning: A Meta-Theorem Paul Krogmeier P. Madhusudan Mon 20 February 2023
- From Polynomial Invariants to Linear Loops George Kenison Laura Kovács Anton Varonka Mon 20 February 2023
- Languages given by Finite Automata over the Unary Alphabet Gordon Hoi Sanjay Jain Frank Stephan Christopher Tan Mon 20 February 2023
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
