Pages that link to "Item:Q1272765"
From MaRDI portal
The following pages link to Expressive power of specification languages (Q1272765):
Displaying 6 items.
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- On the expressive power of programming languages (Q1183552) (← links)
- Assessing the Expressivity of Formal Specification Languages (Q3623936) (← links)
- (Q3745248) (← links)
- (Q4702598) (← links)