The following pages link to (Q3975038):
Displayed 10 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- A hidden agenda (Q1575735) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)