- The Krohn-Rhodes Logics Alessandro Ronca Fri 28 April 2023
- Embedded Finite Models beyond Restricted Quantifier Collapse Michael Benedikt Ehud Hrushovski Fri 28 April 2023
- Quantitative estimates for the size of an intersection of sparse automatic sets Seda Albayrak Jason Bell Fri 28 April 2023
- Monomials in Arithmetic Circuits: Complete Problems in the Counting Hierarchy Hervé Fournier Guillaume Malod Stefan Mengel Fri 28 April 2023
- The Descriptive Complexity of Graph Neural Networks Martin Grohe Fri 28 April 2023
- Antichains Algorithms for the Inclusion Problem Between omega-VPL Kyveli Doveri Pierre Ganty Luka Hadżi-Đokić Fri 28 April 2023
- PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse Diego Figueira Santiago Figueira Edwin Pin Fri 28 April 2023
- On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata Tobias Winkler Joost-Pieter Katoen Fri 28 April 2023
- Modular Mix-and-Match Complementation of Buchi Automata Vojtěch Havlena Ondřej Lengál Yong Li Barbora Šmahlíková Andrea Turrini Fri 28 April 2023
- Universal Algebra for Generalised Metric Spaces Matteo Mio Ralph Sarkis Valeria Vignudelli Fri 28 April 2023
- Verifying linear temporal specifications of constant-rate multi-mode systems Michael Blondin Philip Offtermatt Alex Sansfaçon-Buchanan Fri 28 April 2023
- Distal combinatorial tools for graphs of bounded twin-width Wojciech Przybyszewski Fri 28 April 2023
- Revisiting Membership Problems in Subclasses of Rational Relations Pascal Bergstraßer Moses Ganardi Fri 28 April 2023
- FIXP-membership via Convex Optimization: Games, Cakes, and Markets Aris Filos-Ratsikas Kristoffer Arnsfelt Hansen Kasper Høgh Alexandros Hollender Fri 28 April 2023
- Deterministic stream-sampling for probabilistic programming: semantics and verification Fredrik Dahlqvist Alexandra Silva William Smith Fri 28 April 2023
- On the Order of Power Series and the Sum of Square Roots Problem Louis Gaillard Gorav Jindal Fri 28 April 2023
- Differential modules Roman Sikorski Thu 27 April 2023
- The Magnus expansion and some of its applications S. Blanes F. Casas J. A. Oteo J. Ros Tue 25 April 2023
- Automata for unordered trees Adrien Boiret Vincent Hugot Joachim Niehren Ralf Treinen Thu 20 April 2023
- On the Operads of J. P. May G. M. Kelly Wed 19 April 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
