The following pages link to (Q2771053):
Displayed 6 items.
- Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)