Pages that link to "Item:Q5950718"
From MaRDI portal
The following pages link to Correctness of dataflow and systolic algorithms using algebras of streams (Q5950718):
Displayed 4 items.
- Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
- A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)