Pages that link to "Item:Q2366692"
From MaRDI portal
The following pages link to Matrix and matricial iteration theories. II (Q2366692):
Displayed 6 items.
- The equational logic of fixed points (Q1391734) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)