Pages that link to "Item:Q1764798"
From MaRDI portal
The following pages link to Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798):
Displaying 15 items.
- Characterizations of semicomputable sets of real numbers (Q478399) (← links)
- Continuity of operators on continuous and discrete time streams (Q549207) (← links)
- \(\Sigma\)-bounded algebraic systems and universal functions. II (Q606061) (← links)
- Topological methods for algebraic specification (Q671657) (← 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)
- Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Axiomatizing physical experiments as oracles to algorithms (Q2941593) (← links)
- Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
- Abstract versus concrete computation on metric partial algebras (Q5277710) (← links)
- 2007 Spring Meeting of the Association for Symbolic Logic (Q5444713) (← links)
- Abstract computability and algebraic specification (Q5738956) (← links)
