Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, Kartoniert / Broschiert
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
- 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Arnold Beckmann, Isabel Oitavem, Florin Manea
- Verlag:
- Springer, 06/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031959073
- Artikelnummer:
- 12329509
- Umfang:
- 536 Seiten
- Gewicht:
- 803 g
- Maße:
- 235 x 155 mm
- Stärke:
- 29 mm
- Erscheinungstermin:
- 20.6.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- Invited Papers.
.- The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition.
.- Effective second countability in computable analysis.
.- Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program.
.- Represented spaces of represented spaces.
.- Computation with Real Numbers and Continuous-Time Dynamical Systems.
.- Proof-Carrying Neuro-Symbolic Code.
.- Uniform Functional Interpretations.
.- Computable Analysis for Extraction of Certified Programs and its Applications.
.- Contributed Papers.
.- The existence of primitive recursive structures.
.- Space-bounded online Kolmogorov complexity is additive.
.- On learning existentially definable subsets in a computable structure.
.- Transfinite structured programming.
.- Computability of Real Functions with Oracle Pointer Machines implies Real-Time simulation of Chemical Reaction Networks.
.- Computability of Initial Value Problems.
.- Full generalized effective reducibility.
.- On S-Degrees of some Representations of Irrational Numbers.
.- Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs.
.- Binary Expansions of Regular Reals and Reordered Computable Numbers.
.- Properties of Range Sets of Continuous Functions in Reverse Mathematics.
.- The theory of reachability of trace-pushdown systems.
.- A point to set principle for finite-state dimension and relativized equidistribution porperties.
.- Some structural complexity results for $\exists \mathbb R$.
.- On the computational power of C-random strings.
.- Generalized learnability of stochastic principles.
.- Computably discrete represented spaces.
.- Multidimensional tilings and MSO logic.
.- Injectivity of polynomials over finite discrete dynamical systems.
.- Weihrauch problems as containers.
.- On the reverse mathematics of cut-elimination and determinacy.
.- $L {\omega\omega}$, $L {\omega 1\omega}$, and Wadge hierarchy.
.- Ordinal Invariants of the $h$-Preorder on $k$-Labeled Forests.
.- Completeness theorems for modal logic in second-order arithmetic.
.- Variants of Solovay reducibility.
.- Constructive Analysis of Maximal Ideals in Z[X] by the Material Interpretation.
.- Alternation-Bounded Semi-Unbounded Fan-in Cascading Circuits and the Complementation Closure Property.