Image de couverture de livre

Positivity of Nearly Linearly Recurrent Sequences

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pouly, Amaury, Shirmohammadi, Mahsa, Worrell, James
Format:	Preprint
Publié:	2025
Sujets:	Dynamical Systems Logic in Computer Science F.4.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
par: Jilissen, Kevin H. J., et autres
Publié: (2024)

A Graded Modal Type Theory for Pulse Schedules
par: Adams, Robin, et autres
Publié: (2025)

The Maude strategy language
par: Eker, Steven, et autres
Publié: (2024)

Mechanizing Operads with Event-B
par: Attiogbé, Christian
Publié: (2025)

The complexity of downward closures of indexed languages
par: Mandel, Richard, et autres
Publié: (2026)

Learning Deterministic One-Counter Automata in Polynomial Time
par: Mathew, Prince, et autres
Publié: (2025)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
par: Geatti, Luca, et autres
Publié: (2024)

Characterizing NC1 with Typed Monoids
par: Dawar, Anuj, et autres
Publié: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
par: Bacik, Piotr, et autres
Publié: (2026)

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
par: Blondin, Michael, et autres
Publié: (2024)

An Evaluation of Massively Parallel Algorithms for DFA Minimization
par: Martens, Jan, et autres
Publié: (2024)

How Concise are Chains of co-Büchi Automata?
par: Ehlers, Rüdiger
Publié: (2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
par: Ong, Shawn, et autres
Publié: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
par: Basold, Henning, et autres
Publié: (2023)

Coverage Games
par: Kupferman, Orna, et autres
Publié: (2026)

Orbit-finite linear programming
par: Ghosh, Arka, et autres
Publié: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
par: Grabolle, Gustav
Publié: (2022)

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps
par: Ambroszkiewicz, Stanislaw, et autres
Publié: (2021)

Recursive windows for grammar logics of bounded density
par: Gasquet, Olivier
Publié: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
par: Balbiani, Philippe, et autres
Publié: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

Positional $ω$-regular languages
par: Casares, Antonio, et autres
Publié: (2024)

Openness And Partial Adjacency In One Variable TPTL
par: Krishna, Shankara Narayanan, et autres
Publié: (2024)

Scalable Learning of One-Counter Automata via State-Merging Algorithms
par: Guha, Shibashis, et autres
Publié: (2025)

The memory of $ω$-regular and BC($Σ_2^0$) objectives
par: Casares, Antonio, et autres
Publié: (2025)

Transition-based vs stated-based acceptance for automata over infinite words
par: Casares, Antonio
Publié: (2025)

Layered automata: A canonical model for automata over infinite words
par: Casares, Antonio, et autres
Publié: (2026)

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition
par: Casares, Antonio, et autres
Publié: (2024)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
par: Casares, Antonio, et autres
Publié: (2023)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
par: Ye, Kangfeng, et autres
Publié: (2024)

On Some Complexity Results for Even Linear Languages
par: Cojocaru, Liliana
Publié: (2024)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
par: Chan, Jhet
Publié: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

A Fibrational Perspective on Differential Linear Logic
par: Koleilat, Jad
Publié: (2026)

Identity Testing for Radical Expressions
par: Balaji, Nikhil, et autres
Publié: (2022)

A Logic For Fresh Labelled Transition Systems
par: Bandukara, Mohamed H, et autres
Publié: (2025)

Commutative N-polyregular functions
par: Lopez, Aliaume
Publié: (2024)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
par: Lago, Ugo Dal, et autres
Publié: (2026)

Nominal Sets in Rocq
par: Paranhos, Fabrício Sanches, et autres
Publié: (2025)