Pages that link to "Item:Q2369030"
From MaRDI portal
The following pages link to Constructor-based observational logic (Q2369030):
Displayed 6 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)