The following pages link to (Q4842541):
Displayed 10 items.
- Continuity of operators on continuous and discrete time streams (Q549207) (← links)
- Computability of analog networks (Q870263) (← 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)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- On the algebraic complexity of some families of coloured Tutte polynomials (Q1433009) (← links)
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
- Recursive tables and effective definition schemes (Q1858431) (← links)
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- Computation over algebraic structures and a classification of undecidable problems (Q4593236) (← links)