Pages that link to "Item:Q672126"
From MaRDI portal
The following pages link to The expressiveness of a family of finite set languages (Q672126):
Displaying 5 items.
- Verifiable properties of database transactions (Q1281498) (← links)
- Query languages for bags and aggregate functions (Q1376407) (← links)
- A query language for NC (Q1376409) (← links)
- \(\Delta\)-languages for sets and LOGSPACE computable graph transformers (Q1392148) (← links)
- Structural recursion as a query language on lists and ordered trees (Q2272218) (← links)
