Pages that link to "Item:Q1281498"
From MaRDI portal
The following pages link to Verifiable properties of database transactions (Q1281498):
Displaying 6 items.
- Verification of relational transducers for electronic commerce (Q1394796) (← links)
- Publicly verifiable databases with efficient insertion/deletion operations (Q2396817) (← links)
- Game-based notions of locality over finite models (Q2478544) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)
- Reasoning formally about database queries and updates (Q6535969) (← links)