- Differential Algebra Gleb Pogudin Sat 11 March 2023
- Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth Krishnendu Chatterjee Tobias Meggendorfer Raimundo Saona Jakub Svoboda Sat 11 March 2023
- Weak Bisimulation Finiteness of Pushdown Systems With Deterministic varepsilon-Transitions Is 2-EXPTIME-Complete Stefan Gøller Pawel Parys Sat 11 March 2023
- One Drop of Non-Determinism in a Random Deterministic Automaton Arnaud Carayol Philippe Duchon Florent Koechlin Cyril Nicaud Sat 11 March 2023
- Approximating Context-Free Grammars for Parsing and Verification Sylvain Schmitz Sat 11 March 2023
- An Introduction to Combinatorial Species Ira Gessel Sat 11 March 2023
- Combinatorial species and generating functions Trevor Hyde Sat 11 March 2023
- On Recursively Defined Combinatorial Classes and Labelled Trees Ali Chouria Vlad-Florin Drăgoi Jean-Gabriel Luque Sat 11 March 2023
- Combinatorial Species and Labelled Structures Brent A. Yorgey Sat 11 March 2023
- Species and Functors and Types, Oh My Brent A. Yorgey Sat 11 March 2023
- Fixed points of functors Jiří Adámek Stefan Milius Lawrence S. Moss Sat 11 March 2023
- Combinatorial functional and differential equations applied to differential posets Matías Menni Sat 11 March 2023
- Differential 2-rigs Fosco Loregian Todd Trimble Sat 11 March 2023
- Combinatorial Integration (Part I, Part II) Gilbert Labelle Sat 11 March 2023
- Mathematical Models of Computational and Combinatorial Structures Marcelo P. Fiore Sat 11 March 2023
- A Combinatorial Approach to Higher-Order Structure for Polynomial Functors Marcelo Fiore Zeinab Galal Hugo Paquet Sat 11 March 2023
- The cartesian closed bicategory of generalised species of structures M. Fiore N. Gambino M. Hyland G. Winskel Sat 11 March 2023
- Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs Takeshi Tsukada Kazuyuki Asada C.-H. Luke Ong Fri 10 March 2023
- COMBINATORIAL SPECIES AND FEYNMAN DIAGRAMS William G. Faris Fri 10 March 2023
- Series generatrices et analyse automatique d'algorithmes Paul Zimmermann Fri 10 March 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
