:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Peralta, Abel Luis
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2404.09484
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
by: Dudenhefner, Andrej
Published: (2022)

Halting Recurrent GNNs and the Graded $μ$-Calculus
by: Bollen, Jeroen, et al.
Published: (2025)

Equivalence of Halting Problem to Convergence of Power Series
by: Fernandes, Antonio Joaquim
Published: (2025)

A Comprehensive Survey of Fuzzy Implication Functions
by: Fernandez-Peralta, Raquel
Published: (2025)

Fuzzy Implicative Rules: A Unified Approach
by: Fernandez-Peralta, Raquel
Published: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

Separating domains from algebraic domains
by: Jia, Xiaodong, et al.
Published: (2025)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
by: Mottet, Antoine
Published: (2025)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

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

Computation and Concurrency
by: Wang, Yong
Published: (2024)

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
by: Baldan, Paolo, et al.
Published: (2026)

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

Compositional Reversible Computation
by: Carette, Jacques, et al.
Published: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

On Randomized Computational Models and Complexity Classes: a Historical Overview
by: Antonelli, Melissa, et al.
Published: (2024)

A Graded Modal Dependent Type Theory with Erasure, Formalized
by: Abel, Andreas, et al.
Published: (2026)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Symbolic Computation for All the Fun
by: Brown, Chad E., et al.
Published: (2024)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
by: Díaz-Caro, Alejandro
Published: (2025)

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

An Axiomatic Theory for Reversible Computation
by: Lanese, Ivan, et al.
Published: (2023)

Algorithmic Problems for Computation Trees
by: Moshkov, Mikhail
Published: (2025)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
by: Nishiyama, Yumiko
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
by: Dave, Kinnari, et al.
Published: (2025)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)