- Solvability of orbit-finite systems of linear equations Arka Ghosh Piotr Hofman Sławomir Lasota Tue 01 February 2022
- Treelike decompositions for transductions of sparse graphs Jan Dreier Jakub Gajarský Sandra Kiefer Michał Pilipczuk Szymon Toruńczyk Tue 01 February 2022
- Computing the Density of the Positivity Set for Linear Recurrence Sequences Edon Kelmendi Fri 28 January 2022
- On the Positivity Problem for Simple Linear Recurrence Sequences Joel Ouaknine James Worrell Thu 27 January 2022
- ON THE GROWTH OF LINEAR RECURRENCES IN FUNCTION FIELDS CLEMENS FUCHS SEBASTIAN HEINTZE Wed 26 January 2022
- Deciding ømega-Regular Properties on Linear Recurrence Sequences Shaull Almagor Toghrul Karimov Edon Kelmendi Joel Ouaknine James Worrell Wed 26 January 2022
- Two-Player Stochastic Games with Perfect and Zero Information. (Jeux Stochastiques à Deux Joueurs à Information Parfaite et Zéro) Edon Kelmendi Wed 26 January 2022
- Multiplicative relations in number fields A. J. van der Poorten J. H. Loxton Wed 26 January 2022
- What's Decidable about Linear Loops Toghrul Karimov Engel Lefaucheux Joel Ouaknine David Purser Anton Varonka Markus A. Whiteland James Worrell Mon 17 January 2022
- Subcubic Certificates for CFL Reachability Dmitry Chistikov Rupak Majumdar Philipp Schepper Mon 17 January 2022
- Context-Bounded Verification of Thread Pools Pascal Baumann Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Mon 17 January 2022
- Computing a Context-Free Grammar-Generating Series Bruce Litow Fri 14 January 2022
- Inverses of Matrices and Matrix-Transformations Albert Wilansky Karl Zeller Thu 13 January 2022
- Upper Bounds for a Theory of Queues Tatiana Rybina Andrei Voronkov Thu 06 January 2022
- On Time-Space Classes and Their Relation to the Theory of Real Addition Anni R. Bruss Albert R. Meyer Thu 06 January 2022
- Rudimentary relations and Turing machines with linear alternation Hugo Volger Thu 06 January 2022
- Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories Hugo Volger Thu 06 January 2022
- The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli Hans van Ditmarsch Sophie Pinchinat Thu 06 January 2022
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics Steve Awodey Erich H. Reck Fri 31 December 2021
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic Steve Awodey Erich H. Reck Fri 31 December 2021
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
