The following pages link to (Q4413688):
Displaying 7 items.
- Concurrent abstract state machines (Q303691) (← links)
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- ASM specification and refinement of a quantum algorithm (Q2117586) (← links)
- A guarded fragment for abstract state machines (Q2567346) (← links)
- What Is an Algorithm? (Q2891359) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)
