The following pages link to (Q3038598):
Displaying 4 items.
- Parameter-preserving data type specifications (Q1089794) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Confluence without termination via parallel critical pairs (Q5878911) (← links)
- On sufficient completeness of conditional specifications (Q5881283) (← links)
