The following pages link to L. J. Steggles (Q218988):
Displayed 9 items.
- An abstraction theory for qualitative models of biological systems (Q418848) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- (Q4222999) (← links)
- (Q4364371) (← links)
- (Q4520833) (← links)
- (Q4535186) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)
- A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks (Q5179422) (← links)
- Correctness of dataflow and systolic algorithms using algebras of streams (Q5950718) (← links)