Pages that link to "Item:Q4185836"

The following pages link to (Q4185836):

Displaying 6 items.

• Extensions of iterative congruences of free iterative algebras (Q792751) (← links)
• Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
• Algebraic solutions to recursion schemes (Q1098617) (← links)
• Group axioms for iteration (Q1283821) (← links)
• The equational logic of fixed points (Q1391734) (← links)
• (Q4972735) (← links)