The following pages link to Completeness of Park induction (Q1391869):
Displayed 10 items.
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Group axioms for iteration (Q1283821) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Pushdown tree automata, algebraic tree systems, and algebraic tree series (Q1854412) (← links)
- Superconformal symmetry in three dimensions (Q2738243) (← links)
- Domain mu-calculus (Q4460689) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)