Copertina

Hardness of busy beaver value BB(15)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Stérin, Tristan, Woods, Damien
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic in Computer Science Discrete Mathematics Logic 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

Turing machines deciders, part I
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

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

Notes on CSPs and Polymorphisms
di: Brady, Zarathustra
Pubblicazione: (2022)

Hereditary First-Order Logic: the tractable quantifier prefix classes
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

On the Computational Power of Extensional ESO
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)

Lower Bounds for Symmetric Circuits for the Determinant
di: Dawar, Anuj, et al.
Pubblicazione: (2021)

Symmetric Arithmetic Circuits
di: Dawar, Anuj, et al.
Pubblicazione: (2020)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

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)

Diagonals and Block-Ordered Relations
di: Backhouse, Roland, et al.
Pubblicazione: (2024)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

Probabilistic Epistemic Dynamic Agentive Logic
di: Logan, Shay Allen
Pubblicazione: (2026)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

On the Satisfaction Probabilities of $k$-CNF Formulas
di: Tantau, Till
Pubblicazione: (2022)

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

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)

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

A Type Theory for Probabilistic and Bayesian Reasoning
di: Adams, Robin, et al.
Pubblicazione: (2015)

Semantics out of context: nominal absolute denotations for first-order logic and computation
di: Gabbay, Murdoch J.
Pubblicazione: (2013)

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

Relative Constructibility via Generalised Sequential Algorithms
di: Lau, Desmond
Pubblicazione: (2024)

Characterizing NC1 with Typed Monoids
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

Neural networks as fuzzy logic formulas
di: Heiman, Damian, et al.
Pubblicazione: (2026)

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

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

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

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

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

Loops, Inverse Limits and Non-Determinism
di: Brattka, Vasco
Pubblicazione: (2025)

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

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

On some computational properties of open sets
di: Normann, Dag, et al.
Pubblicazione: (2024)

Trocq: Proof Transfer for Free, With or Without Univalence
di: Cohen, Cyril, et al.
Pubblicazione: (2023)

A Resolution-Based Interactive Proof System for UNSAT
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Verifying Tree-Manipulating Programs via CHCs
di: Faella, Marco, et al.
Pubblicazione: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)