Pages that link to "Item:Q1355752"
From MaRDI portal
The following pages link to Equivalence of formal semantics definition methods (Q1355752):
Displaying 4 items.
- When are different type-logical semantic definitions defining equivalent meanings? (Q439958) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- A decision procedure for semantical equivalence of thin FM specifications (Q1818643) (← links)
- The equivalence of two semantic definitions for inheritance in object-oriented languages (Q6116566) (← links)