Pages that link to "Item:Q5898842"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898842):
Displaying 11 items.
- Straight-line instruction sequence completeness for total calculation on cancellation meadows (Q538468) (← links)
- Thread algebra for poly-threading (Q640299) (← links)
- On the contribution of backward jumps to instruction sequence expressiveness (Q692892) (← links)
- On the expressiveness of single-pass instruction sequences (Q692925) (← links)
- Instruction sequence processing operators (Q715042) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- Program algebra with a jump-shift instruction (Q959050) (← links)
- Risk assessment for one-counter threads (Q1015382) (← links)
- Denotational semantics for thread algebra (Q2469153) (← links)
- Thread algebra for noninterference (Q3625692) (← links)
- (Q4738114) (← links)