„Computable functions“
Suchergebnisse
1.000+ Treffer
-
Minimal logic for computable functions
-
Computability and Complexity – Foundations and Tools for Pursuing Scientific Applications
-
Introduction to Mathematical Logic – Set Theory Computable Functions Model Theory
-
Approaches to Effective Semi‐Continuity of Real Functions
-
Order-theoretic models for decision-making: learning, optimization, complexity and computation
-
Joins and Meets in the Partial Orders of the Computably Enumerable ibT- and cl-Degrees
-
Recursion and subrecursion over finite and infinite words with applications to computable real valued functions
-
Computable Structure Theory – A Unified Approach
-
Relative Randomness and Continuous Translation Functions
-
A Coinductive Representation of Computable Functions
-
Plottable real number functions and the computable graph theorem
-
Towards automatic global error control: Computable weak error expansion for the tau-leap method
-
Synthesizing Computable Functions from Rational Specifications over Infinite Words
-
A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations
-
A Characterisation of Functions Computable in Polynomial Time and Space over the Reals with Discrete Ordinary Differential Equations: Simulation of Turing Machines with Analytic Discrete ODEs
-
On Synthesizing Computable Skolem Functions for First Order Logic
-
Intrinsic Complexity of Recursive Functions on Natural Numbers with Standard Order
-
Ergodic Theorems and Converses for PSPACE Functions
-
Idempotent Turing Machines
-
Synthesis of Computable Regular Functions of Infinite Words