Buchumschlag

Computable domains of a Halting Function

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Peralta, Abel Luis
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
von: Dudenhefner, Andrej
Veröffentlicht: (2022)

Halting Recurrent GNNs and the Graded $μ$-Calculus
von: Bollen, Jeroen, et al.
Veröffentlicht: (2025)

Equivalence of Halting Problem to Convergence of Power Series
von: Fernandes, Antonio Joaquim
Veröffentlicht: (2025)

A Comprehensive Survey of Fuzzy Implication Functions
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

Fuzzy Implicative Rules: A Unified Approach
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

On Chaitin's Heuristic Principle and Halting Probability
von: Salehi, Saeed
Veröffentlicht: (2023)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
von: Mottet, Antoine
Veröffentlicht: (2025)

Separating domains from algebraic domains
von: Jia, Xiaodong, et al.
Veröffentlicht: (2025)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
von: Mottet, Antoine, et al.
Veröffentlicht: (2021)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

Computation and Concurrency
von: Wang, Yong
Veröffentlicht: (2024)

Computational Paths Form a Weak ω-Groupoid
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

Compositional Reversible Computation
von: Carette, Jacques, et al.
Veröffentlicht: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
von: Antonelli, Melissa, et al.
Veröffentlicht: (2024)

Computational Complexity of Standpoint LTL
von: Demri, Stéphane, et al.
Veröffentlicht: (2024)

Symbolic Computation for All the Fun
von: Brown, Chad E., et al.
Veröffentlicht: (2024)

An Axiomatic Theory for Reversible Computation
von: Lanese, Ivan, et al.
Veröffentlicht: (2023)

Algorithmic Problems for Computation Trees
von: Moshkov, Mikhail
Veröffentlicht: (2025)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
von: Díaz-Caro, Alejandro
Veröffentlicht: (2025)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
von: Gallego-Hernández, Jorge, et al.
Veröffentlicht: (2025)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
von: Nishiyama, Yumiko
Veröffentlicht: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

A Logical View of GNN-Style Computation and the Role of Activation Functions
von: Barceló, Pablo, et al.
Veröffentlicht: (2025)

Choiceless Computation and Symmetry: Limitations of Definability
von: Pago, Benedikt
Veröffentlicht: (2024)

Computation by infinite descent made explicit
von: Enqvist, Sebastian
Veröffentlicht: (2025)

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

A Diagrammatic Basis for Computer Programming
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Computing Witnesses Using the SCAN Algorithm
von: Achammer, Fabian, et al.
Veröffentlicht: (2026)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

An Approximate Skolem Function Counter
von: Shaw, Arijit, et al.
Veröffentlicht: (2023)