Pages that link to "Item:Q4382500"

The following pages link to Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500):

Displaying 41 items.

• Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
• \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)
• Computable de Finetti measures (Q764273) (← links)
• Ambiguous representations of semilattices, imperfect information, and predicate transformers (Q781536) (← links)
• Two categories of effective continuous cpos (Q854182) (← links)
• Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
• On computational environments of topological spaces (Q949611) (← links)
• An extension of chaotic probability models to real-valued variables (Q962886) (← links)
• Combinatorics for computing relativistic several complex variable domains (Q967959) (← links)
• A constructive theory of continuous domains suitable for implementation (Q1023289) (← links)
• A domain-theoretic approach to computability on the real line (Q1274807) (← links)
• Computable Banach spaces via domain theory (Q1292403) (← links)
• Polish spaces, computable approximations, and bitopological spaces (Q1602950) (← links)
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
• Foundation of a computable solid modelling. (Q1607293) (← links)
• Function-space compactifications of function spaces (Q1612188) (← links)
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
• Extension of valuations on locally compact sober spaces (Q1862060) (← links)
• Topological games in domain theory (Q1873728) (← links)
• Completeness of hyperspaces of compact subsets of quasi-metric spaces (Q1945259) (← links)
• Outline of partial computability in computable topology (Q2011636) (← links)
• Bounded complete domains and their logical form (Q2105444) (← links)
• Domain theoretic second-order Euler's method for solving initial value problems (Q2133471) (← links)
• A domain-theoretic approach to Brownian motion and general continuous stochastic processes (Q2402275) (← links)
• Can partial indexings be totalized? (Q2758051) (← links)
• Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
• Confined modified realizability (Q3406445) (← links)
• Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272) (← links)
• Some reasons for generalising domain theory (Q3559971) (← links)
• Effectivity and effective continuity of multifunctions (Q3570164) (← links)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
• A Domain-Theoretic Approach to Integration in Hausdorff Spaces (Q4504971) (← links)
• Some results related to the continuity problem (Q4593245) (← links)
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras (Q4650302) (← links)
• A topology on lattice-ordered groups (Q5225407) (← links)
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization (Q5740666) (← links)
• Wadge hardness in Scott spaces and its effectivization (Q5740667) (← links)
• Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
• Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
• A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
• A new fixed point theorem in domain theory (Q6150999) (← links)