Pages that link to "Item:Q1186517"
From MaRDI portal
The following pages link to The expressive power of the bounded-iteration construct (Q1186517):
Displayed 3 items.
- The expressiveness of a family of finite set languages (Q672126) (← 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)