- Enumerating Tarski fixed points on lattices of binary relations Julian Muller Fri 24 November 2023
- On the finite degree of ambiguity of finite tree automata Helmut Seidl Fri 24 November 2023
- Elimination for Systems of Algebraic Differential Equations Richard Gustavson Fri 24 November 2023
- Priority Downward Closures Ashwani Anand Georg Zetzsche Fri 24 November 2023
- Derivations and Iterated Skew Polynomial Rings Michael Gr. Voskoglou Fri 24 November 2023
- Derivations of Skew Polynomial Rings J.M. Osborn D.S. Passman Fri 24 November 2023
- Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil Fri 24 November 2023
- Monitoring Hyperproperties with Prefix Transducers Marek Chalupa Thomas A. Henzinger Fri 24 November 2023
- Elementary theory of free non-abelian groups Olga Kharlampovich Alexei Myasnikov Fri 24 November 2023
- The Regular Languages of Wire Linear AC 0 Michael Cadilhac Charles Paperman Fri 24 November 2023
- Unboundedness problems for machines with reversal-bounded counters Pascal Baumann Flavio D'Alessandro Moses Ganardi Oscar Ibarra Ian McQuillan Lia Schutze Georg Zetzsche Fri 24 November 2023
- Timed Automata Relaxation for Reachability Jaroslav Bendík Ahmet Sencan Ebru Aydin Gol Ivana Černá Fri 24 November 2023
- Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus Benedikt Pago Fri 24 November 2023
- Partially Ordered Automata and Piecewise Testability Tomáš Masopust Markus Krøtzsch Fri 24 November 2023
- WikiCoder: Learning to Write Knowledge-Powered Code Théo Matricon Nathanael Fijalkow Gaetan Margueritte Thu 23 November 2023
- Complexity of stratification of semi-Pfaffian sets A. Gabrielov N. Vorobjov Thu 23 November 2023
- Automated Termination Analysis of Polynomial Probabilistic Programs Marcel Moosbrugger Ezio Bartocci Joost-Pieter Katoen Laura Kovács Thu 23 November 2023
- Checking Presence Reachability Properties on Parameterized Shared-Memory Systems Nicolas Waldburger Thu 23 November 2023
- Stochastic Best-Effort Strategies for Borel Goals Benjamin Aminof Giuseppe De Giacomo Sasha Rubin Florian Zuleger Thu 23 November 2023
- On Birkhoffs Pfaffian systems Lucien Feraud Thu 23 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
