Pages that link to "Item:Q2752047"
From MaRDI portal
The following pages link to Program algebra and coprogram calculus (Q2752047):
Displaying 12 items.
- Execution architectures for program algebra (Q881834) (← links)
- Goto elimination in program algebra (Q955712) (← links)
- Program algebra for component code (Q1586164) (← links)
- Program algebra for sequential code (Q1858432) (← links)
- Program algebra with unit instruction operators (Q1858433) (← links)
- Computer aided fusion for algebraic program derivation (Q2765921) (← links)
- (Q3220574) (← links)
- (Q3339253) (← links)
- Program algebras of recursive functions (Q4341956) (← links)
- (Q4738114) (← links)
- (Q4934619) (← links)
- (Q6068932) (← links)