:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Graça, Daniel S., Zhong, Ning
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic Logic in Computer Science Dynamical Systems 03D78 (Primary) 37D05, 34E10 (Secondary) F.4.1; F.1.1
Accesso online:	https://arxiv.org/abs/2305.14448
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On computability of equilibrium states
di: Binder, Ilia, et al.
Pubblicazione: (2023)

Computability of the Hahn-Banach Theorem Revisited
di: Brattka, Vasco, et al.
Pubblicazione: (2026)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

Computability of Initial Value Problems
di: Brattka, Vasco, et al.
Pubblicazione: (2024)

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)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
di: Lau, Desmond
Pubblicazione: (2024)

Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)

Reordered Computable Numbers
di: Janicki, Philip
Pubblicazione: (2023)

Punctually Standard and Nonstandard Models of Natural Numbers
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

The surjection property and computable type
di: Amir, Djamel Eddine, et al.
Pubblicazione: (2023)

Computable thermodynamic formalism
di: Binder, Ilia, et al.
Pubblicazione: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
di: Bacik, Piotr, et al.
Pubblicazione: (2026)

Computable Approximations of Semicomputable Graphs
di: Čačić, Vedran, et al.
Pubblicazione: (2024)

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

On the computational properties of basic mathematical notions
di: Normann, Dag, et al.
Pubblicazione: (2022)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
di: Cerda, Rémy, et al.
Pubblicazione: (2022)

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

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

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

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

A Lopez-Escobar Theorem for Continuous Domains
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2023)

Undecidability in Relevant Logic
di: Knudstorp, Søren Brinck
Pubblicazione: (2026)

Consistent ultrafinitist logic
di: Gajda, Michał J.
Pubblicazione: (2021)

Conjunctive categorial grammars and Lambek grammars with additives
di: Kuznetsov, Stepan L., et al.
Pubblicazione: (2024)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
di: Hori, Hiromasa, et al.
Pubblicazione: (2023)

Stratifiable formulae are not context-free
di: Ryan-Smith, Calliope
Pubblicazione: (2023)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

The computational content of multidimensional discontinuity
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

A non-computable c.e. closed subset of $[0,1]$
di: Badaev, Serikzhan, et al.
Pubblicazione: (2025)

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

Proof complexity of universal algebra in a CSP dichotomy proof
di: Gaysin, Azza
Pubblicazione: (2024)

Ramsey expansions of metrically homogeneous graphs
di: Aranda, Andrés, et al.
Pubblicazione: (2017)

On the Realizability of Prime Conjectures in Heyting Arithmetic
di: Rosko, Milan
Pubblicazione: (2025)

Uniform Computability of PAC Learning
di: Brattka, Vasco, et al.
Pubblicazione: (2026)