Pages that link to "Item:Q5941166"
From MaRDI portal
The following pages link to Equational axiomatizability for coalgebra (Q5941166):
Displaying 7 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- Modal predicates and coequations (Q2842557) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- (Q5465440) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)