Pages that link to "Item:Q1292414"

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

Displayed 7 items.

• Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) ‎ (← links)
• Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) ‎ (← 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)
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras (Q4650302) ‎ (← links)