Pages that link to "Item:Q2863834"
From MaRDI portal
The following pages link to The specification logic \(\nu\mathsf{Z}\) (Q2863834):
Displaying 8 items.
- A logic for schema-based program development (Q706506) (← links)
- The specification logic \(\nu \)Z (Q851135) (← links)
- Revising \(Z\). I: Logic and semantics (Q1974477) (← links)
- Revising \(Z\). II: Logical development (Q1974478) (← links)
- `The standard logic for \(Z\)': A clarification (Q1974482) (← links)
- (Q4301167) (← links)
- (Q4397797) (← links)
- Investigating Z (Q4952026) (← links)