Pages that link to "Item:Q2366691"

The following pages link to Matrix and matricial iteration theories. I (Q2366691):

Displaying 32 items.

• A connection between concurrency and language theory (Q265802) (← links)
• Free inductive \(K\)-semialgebras (Q383784) (← links)
• Weighted finite automata over hemirings (Q388788) (← links)
• The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
• Completeness for flat modal fixpoint logics (Q638475) (← links)
• Fixed-point operations on ccc's. I (Q672122) (← links)
• Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
• A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
• Notes on equational theories of relations (Q1344844) (← 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)
• The equational theory of regular words (Q1776401) (← links)
• Inductive \(^{*}\)-semirings (Q1882911) (← links)
• Equational theories for automata (Q2074221) (← links)
• Matrix and matricial iteration theories. II (Q2366692) (← links)
• Fuzzy tree automata (Q2372277) (← links)
• Axiomatizing rational power series over natural numbers (Q2389332) (← links)
• Inductive semimodules and the vector modules over them. (Q2391239) (← links)
• On \(*\)-\(\lambda\)-semirings. (Q2456471) (← links)
• Algebraic recognizability of regular tree languages (Q2484441) (← links)
• Matrices, machines and behaviors (Q2563761) (← links)
• \(*\)-\(\mu\)-semirings and \(*\)-\(\lambda\)-semirings (Q2576887) (← links)
• From Parity Games to Circular Proofs (Q2842563) (← links)
• Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
• Equational axioms for regular sets (Q4279247) (← links)
• Feedback, trace and fixed-point semantics (Q4787833) (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
• Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
• Some quasi-varieties of iteration theories (Q5890058) (← links)
• Free \(\mu\)-lattices (Q5960406) (← links)