Copertina

Computability of Initial Value Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brattka, Vasco, Smischliaew, Hendrik
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Logic 03D78 (Primary) 03D30, 03B30, 34A12, 68Q10, 68Q17 (Secondary) F.1.1; F.1.2; F.4.1; G.1.7
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

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

The equational theory of the Weihrauch lattice with (iterated) composition
di: Pradic, Cécilia
Pubblicazione: (2024)

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

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

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

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
di: Huseynzade, Rafig
Pubblicazione: (2025)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

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

Why the classes P and NP are not well-defined finitarily
di: Anand, Bhupinder Singh
Pubblicazione: (2024)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
di: Santacana, Andreu Ballus
Pubblicazione: (2025)

The Fractal Logic of Phi-adic Recursion
di: Rosko, Milan
Pubblicazione: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
di: Forster, Jonas, et al.
Pubblicazione: (2026)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
di: Schewe, Klaus-Dieter
Pubblicazione: (2020)

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

Complexities of Well-Quasi-Ordered Substructural Logics
di: Galatos, Nikolaos, et al.
Pubblicazione: (2025)

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

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)

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

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
di: Hertling, Peter, et al.
Pubblicazione: (2025)

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

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

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
di: Japaridze, Giorgi
Pubblicazione: (2026)

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

An SoS Entropy Dichotomy via Windowed Hypercontractivity
di: Lela, Marko
Pubblicazione: (2025)

Reversible computations are computations
di: Aubert, Clément, et al.
Pubblicazione: (2025)

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

Robust non-computability of dynamical systems and computability of robust dynamical systems
di: Graça, Daniel S., et al.
Pubblicazione: (2023)

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

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

Recursive windows for grammar logics of bounded density
di: Gasquet, Olivier
Pubblicazione: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Solovay reducibility implies S2a-reducibility
di: Titov, Ivan
Pubblicazione: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)