Pages that link to "Item:Q5738956"

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

Displaying 13 items.

• Topological methods for algebraic specification (Q671657) (← links)
• Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
• On abstract resource semantics and computability logic (Q980944) (← 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)
• Computation algebras (Q2762624) (← links)
• On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
• Computability in Specification (Q3431976) (← links)
• (Q4460832) (← links)
• Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
• Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects† (Q5234244) (← links)
• Logical Approaches to Computational Barriers (Q5898801) (← links)
• Logical Approaches to Computational Barriers (Q5898856) (← links)