- Deterministic regular functions of infinite words Olivier Carton Gaetan Douéneau-Tabot Emmanuel Filiot Sarah Winter Mon 20 February 2023
- BINOMIAL SPECIES AND COMBINATORIAL EXPONENTIATION GILBERT LABELLE Mon 20 February 2023
- Algorithms for combinatorial structures: Well-founded systems and Newton iterations Carine Pivoteau Bruno Salvy Michèle Soria Mon 20 February 2023
- Counting and Matching Bart Jacobs Dario Stein Mon 20 February 2023
- The Marriage of Effects and Rewrites Ezra e. k. Cooper Thu 09 February 2023
- Coverability in 2-VASS with One Unary Counter is in NP Filip Mazowiecki Henry Sinclair-Banks Karol Węgrzycki Thu 09 February 2023
- Exact Probabilistic Inference Using Generating Functions Lutz Klinkenberg Mingshuai Chen Joost-Pieter Katoen Tobias Winkler Thu 09 February 2023
- Orbit-finite linear programming Arka Ghosh Piotr Hofman Sławomir Lasota Tue 07 February 2023
- Rudin-Shapiro Sums Via Automata Theory and Logic Narad Rampersad Jeffrey Shallit Tue 07 February 2023
- Flip-width: Cops and Robber on dense graphs Szymon Toruńczyk Tue 07 February 2023
- Flipper games for monadically stable graph classes Jakub Gajarský Nikolas Mahlmann Rose McCarty Pierre Ohlmann Michał Pilipczuk Wojciech Przybyszewski Sebastian Siebertz Marek Sokołowski Szymon Toruńczyk Tue 07 February 2023
- Characterizing Positionality in Games of Infinite Duration over Infinite Graphs Pierre Ohlmann Tue 07 February 2023
- Measuring robustness of dynamical systems. Relating time and space to length and precision Manon Blanc Olivier Bournez Tue 07 February 2023
- Descriptional Complexity of Finite Automata -- Selected Highlights Arto Salomaa Kai Salomaa Taylor J. Smith Tue 07 February 2023
- Alien Coding Thibault Gauthier Miroslav Olšák Josef Urban Tue 07 February 2023
- Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems Margarita Korovina Nicolai Vorobjov Sun 05 February 2023
- Betti Numbers of Semialgebraic Sets Defined by Quantifier-Free Formulae Andrei Gabrielov Nicolai Vorobjov Sun 05 February 2023
- Effective Model Completeness of the Theory of Restricted Pfaffian Functions Nicolai Vorobjov Sun 05 February 2023
- Complexity of Finding Irreducible Components of a Semialgebraic Set A. Galligo N. Vorobjov Sun 05 February 2023
- Computing combinatorial types of trajectories in Pfaffian Dynamics Margarita Korovina Nicolai Vorobjov Sat 04 February 2023
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
