- Boltzmann Oracle for Combinatorial Systems Carine Pivoteau Bruno Salvy Michèle Soria Fri 10 March 2023
- Bijective proofs for Eulerian numbers in types B and D Luigi Santocanale Fri 10 March 2023
- Stabilized profunctors and stable species of structures Marcelo Fiore Zeinab Galal Hugo Paquet Fri 10 March 2023
- Fixpoint operators for 2-categorical structures Zeinab Galal Fri 10 March 2023
- On the Power of Finite Ambiguity in Buchi Complementation Weizhi Feng Yong Li Andrea Turrini Moshe Y. Vardi Lijun Zhang Wed 08 March 2023
- The Mathematics of Ltextbackslash'aszltextbackslash'o Lovtextbackslash'asz Martin Grøtschel Jaroslav Nešetřil Wed 08 March 2023
- Canonical decompositions in monadically stable and bounded shrubdepth graph classes Pierre Ohlmann Michał Pilipczul Szymon Toruńczyk Wojciech Przybyszewski Fri 03 March 2023
- Rewriting in the partial algebra of typed terms modulo AC Thomas Colcombet Fri 03 March 2023
- Multitree automata that count Denis Lugiez Fri 03 March 2023
- Deterministic Automata for Unordered Trees Adrien Boiret Vincent Hugot Joachim Niehren Ralf Treinen Fri 03 March 2023
- Automata and Logics for Unranked and Unordered Trees Iovka Boneva Jean-Marc Talbot Fri 03 March 2023
- Counting and Equality Constraints for Multitree Automata Denis Lugiez Fri 03 March 2023
- Equivalences between Ranked and Unranked Weighted Tree Automata via Binarization Toni Dietze Fri 03 March 2023
- On Rational Recursive Sequences Lorenzo Clemente Maria Donten-Bury Filip Mazowiecki Michał Pilipczuk Fri 03 March 2023
- Numerical Document Queries Helmut Seidl Thomas Schwentick Anca Muscholl Thu 02 March 2023
- The mathsfAC^0-Complexity Of Visibly Pushdown Languages Stefan Gøller Nathan Grosshans Thu 02 March 2023
- Positivity-hardness results on Markov decision processes Jakob Piribauer Christel Baier Thu 02 March 2023
- Spanning forests in regular planar maps Mireille Bousquet-Mélou Julien Courtiel Thu 02 March 2023
- Regular Separability in Buchi VASS Pascal Baumann Roland Meyer Georg Zetzsche Thu 02 March 2023
- Solving homogeneous linear equations over polynomial semirings Ruiwen Dong Thu 02 March 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
