Pages that link to "Item:Q1292414"

The following pages link to Computation by `While' programs on topological partial algebras (Q1292414):

Displaying 11 items.

• Characterizations of semicomputable sets of real numbers (Q478399) (← links)
• Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) (← links)
• Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
• On approximate and algebraic computability over the real numbers (Q1292404) (← links)
• Concrete models of computation for topological algebras (Q1292413) (← links)
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
• The data type of spatial objects (Q1941895) (← links)
• Models of computation for partial functions on the reals (Q2258841) (← links)
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras (Q4650302) (← links)