The following pages link to Group axioms for iteration (Q1283821):
Displaying 38 items.
- A connection between concurrency and language theory (Q265802) (← links)
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Iteration of operations on classes of groups (Q791639) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Axiomatizing the identities of binoid languages (Q870834) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Group axioms for iteration (Q1283821) (← links)
- Completeness of Park induction (Q1391869) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- A proof of the Krohn--Rhodes Decomposition Theorem (Q1575683) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Equational theories for automata (Q2074221) (← links)
- Conway's work on iteration (Q2153969) (← links)
- Left-handed completeness (Q2286746) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Unique, guarded fixed points in an additive setting: extended abstract (Q2842814) (← links)
- Left-Handed Completeness (Q2915142) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Dagger extension theorem (Q3094166) (← links)
- Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Iteration Semirings (Q3532996) (← links)
- Equational axioms for regular sets (Q4279247) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q5014444) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
