Pages that link to "Item:Q916772"
From MaRDI portal
The following pages link to A generalization of the concept of sketch (Q916772):
Displaying 9 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Executable specifications for data-type constructors (Q3986951) (← links)
- A formalism for the specification of essentially-algebraic structures in 2-categories (Q4006237) (← links)
- (Q4032249) (← links)
- (Q4339951) (← links)
- (Q4364755) (← links)
- (Q4396956) (← links)
- (Q6060014) (← links)