- The Qualitative Collapse of Concurrent Games Pierre Clairambault Sat 26 October 2024
- Temporal Hyperproperties for Population Protocols Nicolas Waldburger Chana Weil-Kennedy Pierre Ganty César Sánchez Sat 26 October 2024
- A parametric version of the Hilbert Nullstellensatz Rida Ait El Manssour Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell Sat 26 October 2024
- Computing measures of weak-MSO definable sets of trees Damian Niwiński Marcin Przybyłko Michał Skrzypczak Sat 26 October 2024
- On Computational Indistinguishability and Logical Relations Ugo Dal Lago Zeinab Galal Giulia Giusti Sat 26 October 2024
- C2k+1-coloring of bounded-diameter graphs Marta Piecyk Sat 26 October 2024
- Rings and fields of constants for derivations in characteristic zero Andrzej Nowicki Thu 24 October 2024
- The Decision Problem for Regular First-Order Theories Umang Mathur David Mestel Mahesh Viswanathan Wed 23 October 2024
- Definable Henselian Valuation Rings Alexander Prestel Tue 22 October 2024
- On streams and coinduction Jan Rutten Tue 22 October 2024
- Real closed rings II. Model theory Gregory Cherlin Max A. Dickmann Tue 22 October 2024
- Algebraic and analytic methods for grammar ambiguity Vladislav Makarov Mon 21 October 2024
- On winning Ehrenfeucht games and monadic NP Thomas Schwentick Fri 18 October 2024
- Sur une propriété combinatoire des algèbres de Lie libres pouvant être utilisée dans un problème de mathématiques appliquées Marcel-Paul Schützenberger Fri 18 October 2024
- Free lie algebras Christophe Reutenauer Fri 18 October 2024
- Reachability in Fixed VASS: Expressiveness and Lower Bounds Andrei Draghici Christoph Haase Andrew Ryzhikov Fri 18 October 2024
- mathbbN-polyregular functions arise from well-quasi-orderings Aliaume Lopez Fri 18 October 2024
- First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions Aliaume Lopez Fri 18 October 2024
- Axiomatization of Compact Initial Value Problems: Open Properties André Platzer Long Qian Fri 18 October 2024
- Verification of Linear Dynamical Systems via O-Minimality of Real Numbers Toghrul Karimov Joël Ouaknine James Worrell Fri 18 October 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
