Pages that link to "Item:Q1916368"
From MaRDI portal
The following pages link to A relational calculus for program construction by parts (Q1916368):
Displaying 5 items.
- Joining specification statements (Q1285666) (← links)
- Semantic distance between specifications (Q1583257) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Expressing quantification in relational calculus by participation constraints (Q2365992) (← links)
- A NEW RELATIONAL (DOMAIN-CALCULUS TYPE) QUERY LANGUAGE BASED ON THE PARTITION MODEL (Q3349968) (← links)