scientific article; zbMATH DE number 3316967
From MaRDI portal
zbMath0199.04303MaRDI QIDQ5596827
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring, Axiomatizing rational power series over natural numbers, Free inductive \(K\)-semialgebras, The equational logic of fixed points, On tools for completeness of Kleene algebra with hypotheses, Iteration Semirings, Complete systems of \(\mathcal B\)-rational identities, On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based, Equational theories for automata, On axioms for commutative regular equations without addition., On equations for union-free regular languages