The following pages link to (Q4493908):
Displayed 8 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)