Pages that link to "Item:Q1874280"
From MaRDI portal
The following pages link to Observational logic, constructor-based logic, and their duality. (Q1874280):
Displaying 6 items.
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
