Pages that link to "Item:Q5277710"
From MaRDI portal
The following pages link to Abstract versus concrete computation on metric partial algebras (Q5277710):
Displayed 25 items.
- Characterizations of semicomputable sets of real numbers (Q478399) (← links)
- Continuity of operators on continuous and discrete time streams (Q549207) (← links)
- Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) (← links)
- Can Newtonian systems, bounded in space, time, mass and energy compute all functions? (Q870250) (← links)
- Computability of analog networks (Q870263) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Computations via Newtonian and relativistic kinematic systems (Q1036523) (← links)
- Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
- Hierarchies of total functionals over the reals (Q1434355) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Efficient exact computation of iterated maps (Q1779563) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Embedding infinitely parallel computation in Newtonian kinematics (Q2497873) (← links)
- A hypercomputational alien (Q2497874) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Stability of representations of effective partial algebras (Q2996232) (← links)
- Programming Experimental Procedures for Newtonian Kinematic Machines (Q3507418) (← links)
- Oracles and Advice as Measurements (Q3543332) (← links)
- Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272) (← links)
- Effectivity and effective continuity of multifunctions (Q3570164) (← links)
- Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
- On the Continuity of Effective Multifunctions (Q4918021) (← links)
- Feferman on Computability (Q5214780) (← links)
- Experimental computation of real numbers by Newtonian machines (Q5438843) (← links)
- 2007 Spring Meeting of the Association for Symbolic Logic (Q5444713) (← links)