Copertina

Turing machines deciders, part I

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	The bbchallenge Collaboration, Blanchard, Justin, Deka, Konrad, Fenner, Nathan, Guilfoyle, Tony, Iijil, Kądziołka, Maja, Kropitz, Pavel, Ligocki, Shawn, Michel, Pascal, Naściszewski, Mateusz, Stérin, Tristan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science F.1; F.1.1; F.1.3; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

Hardness of busy beaver value BB(15)
di: Stérin, Tristan, et al.
Pubblicazione: (2021)

How to Verify a Turing Machine with Dafny
di: Lederer, Edgar F. A.
Pubblicazione: (2026)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

Tight bounds on depth-2 QAC-circuits computing parity
di: Fenner, Stephen, et al.
Pubblicazione: (2025)

$\rm P$ has polynomial-time finite-state verifiers
di: Gezer, M. Utkan, et al.
Pubblicazione: (2023)

Probabilistic Shoenfield Machines
di: Bujok, Maksymilian, et al.
Pubblicazione: (2024)

Catalytic Computing and Register Programs Beyond Log-Depth
di: Alekseev, Yaroslav, et al.
Pubblicazione: (2025)

A point to set principle for finite-state dimension
di: Mayordomo, Elvira
Pubblicazione: (2022)

Reachability with Restricted Reactions in Inhibitory Chemical Reaction Networks
di: Bajaj, Divya, et al.
Pubblicazione: (2026)

Organic mater measured in surface water during AURIGA cruise PLUTUR1
di: OMEX Project Members, et al.
Pubblicazione: (2004)

On some Classes of Reversible 2-head Automata
di: Nagy, Benedek, et al.
Pubblicazione: (2025)

Turn Complexity of Context-free Languages, Pushdown Automata and One-Counter Automata
di: Pighizzini, Giovanni
Pubblicazione: (2026)

Imperative process algebra and models of computation
di: Middelburg, C. A.
Pubblicazione: (2022)

On the computational properties of ambivalent sets and functions
di: Normann, Dag, et al.
Pubblicazione: (2026)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
di: Aiswarya, C, et al.
Pubblicazione: (2024)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
di: Parrinha, Francisco, et al.
Pubblicazione: (2026)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
di: Esparza, Javier, et al.
Pubblicazione: (2025)

Separation Logic of Generic Resources via Sheafeology
di: van Starkenburg, Berend, et al.
Pubblicazione: (2025)

SimpliPy: A Source-Tracking Notional Machine for Simplified Python
di: Jain, Moida Praneeth, et al.
Pubblicazione: (2025)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
di: Diekert, Volker, et al.
Pubblicazione: (2019)

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
di: Ong, Shawn, et al.
Pubblicazione: (2025)

Compositional Separation of Control Flow and Data Flow
di: Arellanes, Damian
Pubblicazione: (2023)

A Complete Finitary Refinement Type System for Scott-Open Properties
di: Riba, Colin, et al.
Pubblicazione: (2026)

Infinitary Refinement Types for Temporal Properties in Scott Domains
di: Riba, Colin, et al.
Pubblicazione: (2025)

On the Counting Complexity of the Skolem Problem
di: Jindal, Gorav, et al.
Pubblicazione: (2024)

The Bit Complexity of Dynamic Algebraic Formulas and their Determinants
di: Anand, Emile, et al.
Pubblicazione: (2024)

The decidability of the genus of regular languages and directed emulators
di: Bonfante, Guillaume, et al.
Pubblicazione: (2021)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
di: de Rezende, Susanna F., et al.
Pubblicazione: (2019)

Orbit-finite linear programming
di: Ghosh, Arka, et al.
Pubblicazione: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
di: Grabolle, Gustav
Pubblicazione: (2022)

Smooth Approximations of the Rounding Function
di: Semenov, Stanislav
Pubblicazione: (2025)

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

Chronology as a Consistency Invariant in Composable Information Systems
di: Calvo, Anherutowa, et al.
Pubblicazione: (2026)

Two-Level Type Theory and Applications
di: Annenkov, Danil, et al.
Pubblicazione: (2017)

The General and Finite Satisfiability Problems for PCTL are Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
di: Hellwig, Jonathan, et al.
Pubblicazione: (2025)

The Thins Ordering on Relations
di: Voermans, Ed, et al.
Pubblicazione: (2024)

Polynomial-time Tractable Problems over the $p$-adic Numbers
di: Fehm, Arno, et al.
Pubblicazione: (2025)