Pages that link to "Item:Q1186517"
From MaRDI portal
The following pages link to The expressive power of the bounded-iteration construct (Q1186517):
Displaying 4 items.
- The expressiveness of a family of finite set languages (Q672126) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model (Q2744791) (← links)