The following pages link to (Q4520496):
Displaying 6 items.
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- Invariance properties of RAMs and linear time (Q1327595) (← links)
- Linear-time hierarchies for a functional language machine model (Q1818323) (← links)
- Determinism versus nondeterminism for linear time RAMs with memory restrictions (Q1869934) (← links)
- Honest universality (Q2941591) (← links)
- (Q5294162) (← links)