:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Peralta, Abel Luis
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2404.09484
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Fuzzy Implicative Rules: A Unified Approach
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

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

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

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

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

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

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

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

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

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

Separating domains from algebraic domains
di: Jia, Xiaodong, et al.
Pubblicazione: (2025)

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

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

foetus -- Termination Checker for Simple Functional Programs
di: Abel, Andreas
Pubblicazione: (2024)

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

Computation and Concurrency
di: Wang, Yong
Pubblicazione: (2024)

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

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

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

Compositional Reversible Computation
di: Carette, Jacques, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

Algorithmic Problems for Computation Trees
di: Moshkov, Mikhail
Pubblicazione: (2025)

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

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

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

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

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

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

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