Pages that link to "Item:Q1177930"
From MaRDI portal
The following pages link to Complete systems of \(\mathcal B\)-rational identities (Q1177930):
Displaying 50 items.
- On syntactic nuclei of rational languages (Q293361) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Axiomatizing the identities of binoid languages (Q870834) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Models of a \(K\)-rational identity system (Q1201883) (← links)
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based (Q1274921) (← links)
- Group axioms for iteration (Q1283821) (← links)
- A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring (Q1341738) (← links)
- On dynamic algebras (Q1341742) (← links)
- Notes on equational theories of relations (Q1344844) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- The multiplicative fragment of the Yanov equational theory (Q1399998) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Automata, Boolean matrices, and ultimate periodicity. (Q1854295) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Equational theories of tropical semirings (Q1874279) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra (Q1914078) (← links)
- The convergent behavior for parametric generalized vector equilibrium problems (Q1952779) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Equational theories for automata (Q2074221) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Conway's work on iteration (Q2153969) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Left-handed completeness (Q2286746) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Inductive semimodules and the vector modules over them. (Q2391239) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- Conway and iteration hemirings Part 1 (Q2876612) (← links)
- Left-Handed Completeness (Q2915142) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
- (Q3304097) (← links)
