The following pages link to (Q3138543):
Displayed 7 items.
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- Classes of finite relations as initial abstract data types. II (Q1318793) (← links)
- Minimality of the system of seven equations for the category of finite sets (Q1392285) (← links)
- Towards an algebraic theory of Boolean circuits. (Q1410965) (← links)
- Termination orders for three-dimensional rewriting (Q2504386) (← links)
- GS·Λ Theories (Q2842817) (← links)
- Optimal reductions in interaction systems (Q5044756) (← links)