Pages that link to "Item:Q1974477"
From MaRDI portal
The following pages link to Revising \(Z\). I: Logic and semantics (Q1974477):
Displaying 13 items.
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- The specification logic \(\nu \)Z (Q851135) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- The standard logic of \(Z\) is inconsistent (Q1293887) (← links)
- A calculus for schemas in Z (Q1583855) (← links)
- Richer types for \(Z\) (Q1816920) (← links)
- Revising \(Z\). II: Logical development (Q1974478) (← links)
- `The standard logic for \(Z\)': A clarification (Q1974482) (← links)
- The specification logic \(\nu\mathsf{Z}\) (Q2863834) (← links)
- Constructive Z (Q4399513) (← links)
- (Q4472184) (← links)
- Investigating Z (Q4952026) (← links)
- Relating Z and first-order logic (Q5926770) (← links)
