:: Library Catalog

Kapak Resmi

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Shakiba, Yousef, Sinclair-Banks, Henry, Zetzsche, Georg
Materyal Türü:	Preprint
Baskı/Yayın Bilgisi:	2025
Konular:	Formal Languages and Automata Theory Computational Complexity Logic in Computer Science
Online Erişim:	https://arxiv.org/abs/2505.13749
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Invariants for One-Counter Automata with Disequality Tests
Yazar:: Chistikov, Dmitry, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

The Complexity of Nested Reset Counter Systems
Yazar:: Balasubramanian, A. R., ve diğerleri
Baskı/Yayın Bilgisi: (2026)

General Decidability Results for Systems with Continuous Counters
Yazar:: Balasubramanian, A. R., ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Yazar:: Achilleos, Antonis, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
Yazar:: Halftermeyer, Pierre
Baskı/Yayın Bilgisi: (2026)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
Yazar:: Göller, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Slice closures of indexed languages and word equations with counting constraints
Yazar:: Ciobanu, Laura, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Existential Definability over the Subword Ordering
Yazar:: Baumann, Pascal, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Non-commutative linear logic fragments with sub-context-free complexity
Yazar:: Nishimiya, Yusaku, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
Yazar:: Haase, Christoph, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
Yazar:: Chistikov, Dmitry, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Nets-within-Nets through the Lens of Data Nets
Yazar:: Di Cosmo, Francesco, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

On Higher Order Busy Beaver Function
Yazar:: Cao, Zining
Baskı/Yayın Bilgisi: (2025)

Reachability in Geometrically $d$-Dimensional VASS
Yazar:: Fu, Yuxi, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Stochastic Process Turing Machines
Yazar:: Wolpert, David, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
Yazar:: Lichtner, Kilian, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
Yazar:: Yamakami, Tomoyuki
Baskı/Yayın Bilgisi: (2024)

Random Deterministic Automata With One Added Transition
Yazar:: Carayol, Arnaud, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

A Dichotomy Theorem for Automatic Structures
Yazar:: Cuvelier, Antoine, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Yazar:: Guha, Shibashis, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
Yazar:: Doveri, Kyveli, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Counting and Sampling Traces in Regular Languages
Yazar:: de Colnet, Alexis, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
Yazar:: Havlena, Vojtěch, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

The complexity of downward closures of indexed languages
Yazar:: Mandel, Richard, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Softmax Transformers are Turing-Complete
Yazar:: Jiang, Hongjian, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Rerailing Automata
Yazar:: Ehlers, Rüdiger
Baskı/Yayın Bilgisi: (2025)

Automata on $S$-adic words
Yazar:: Berthé, Valérie, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Intersecting Dense Automata
Yazar:: Chistikov, Dmitry, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

On Good-for-MDPs Automata
Yazar:: Schewe, Sven, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Inferring Symbolic Automata
Yazar:: Fisman, Dana, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

A Framework for Universality in Physics, Computer Science, and Beyond
Yazar:: Gonda, Tomáš, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
Yazar:: Yamakami, Tomoyuki
Baskı/Yayın Bilgisi: (2021)

Variants of Higher-Dimensional Automata
Yazar:: Bazille, Hugo, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Quantitative Semantics for Jumping Automata
Yazar:: Almagor, Shaull, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

History-deterministic Timed Automata
Yazar:: Bose, Sougata, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Complexity of Unary Exclusive Nondeterministic Finite Automata
Yazar:: Kutrib, Martin, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Length Generalization Bounds for Transformers
Yazar:: Yang, Andy, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

A positional $\mathbfΠ^0_3$-complete objective
Yazar:: Casares, Antonio, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

CMSO-transducing tree-like graph decompositions
Yazar:: Campbell, Rutger, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Weighted basic parallel processes and combinatorial enumeration
Yazar:: Clemente, Lorenzo
Baskı/Yayın Bilgisi: (2024)