The following pages link to Free term algebras (Q2852163):
Displaying 11 items.
- Effective codescent morphisms in the varieties determined by convergent term rewriting systems. (Q278228) (← links)
- Formulation of cell Petri nets (Q467800) (← links)
- Term context (Q502697) (← links)
- A free construction of dynamic terms (Q1915511) (← links)
- Program algebra over an algebra (Q2852174) (← links)
- Analysis of algorithms: an example of a sort algorithm (Q2852177) (← links)
- Structure of free algebras (Q3483337) (← links)
- (Q4006524) (← links)
- (Q4472207) (← links)
- (Q4763907) (← links)
- (Q4918428) (← links)