Pages that link to "Item:Q5738956"

The following pages link to Abstract computability and algebraic specification (Q5738956):

Displaying 3 items.

• 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)
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)