The following pages link to (Q4904107):
Displayed 5 items.
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Algebras from finite group actions and a question of Eilenberg and Schützenberger (Q6169073) (← links)