Pages that link to "Item:Q5453496"
From MaRDI portal
The following pages link to Interactive Small-Step Algorithms I: Axiomatization (Q5453496):
Displaying 10 items.
- Concurrent abstract state machines (Q303691) (← links)
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- Reactive Turing machines (Q393091) (← links)
- What Is an Algorithm? (Q2891359) (← links)
- Reactive Turing Machines (Q3088297) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- Interactive Algorithms 2005 with Added Appendix (Q4928704) (← links)
- Ordinary interactive small-step algorithms, II (Q5277780) (← links)
- Ordinary interactive small-step algorithms, III (Q5277781) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)