The following pages link to (Q4222955):
Displaying 6 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- A hidden agenda (Q1575735) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
