Pages that link to "Item:Q5277752"
From MaRDI portal
The following pages link to Ordinary interactive small-step algorithms, I (Q5277752):
Displaying 7 items.
- Concurrent abstract state machines (Q303691) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- What Is an Algorithm? (Q2891359) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- When are Two Algorithms the Same? (Q3633205) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
