Iteration Semirings (Q3532996): Difference between revisions

@@ Property / author @@
-Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
-Normal rank
@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85780-8_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2914715110
@@ Property / OpenAlex ID: W2914715110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030266
@@ Property / cites work: Q3030266 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy and Equivalence of Weighted Automata and Functional Transducers
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896924
@@ Property / cites work: Q4896924 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing rational power series over natural numbers
+Normal rank
@@ Property / cites work @@
+Q5506336
@@ Property / cites work: Q5506336 / rank @@
+Normal rank
@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+Normal rank
@@ Property / cites work @@
+Une condition impliquant toutes les identités rationnelles
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+An Equational Axiomatization of Bisimulation over Regular Expressions
+Normal rank
@@ Property / cites work @@
+A Kleene-Schützenberger Theorem for Weighted Timed Automata
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
+Normal rank
@@ Property / cites work @@
+Q5422232
@@ Property / cites work: Q5422232 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive \(^{*}\)-semirings
@@ Property / cites work: Inductive \(^{*}\)-semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3201767
@@ Property / cites work: Q3201767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055972
@@ Property / cites work: Q4055972 / rank @@
+Normal rank
@@ Property / cites work @@
+On limits in complete semirings
@@ Property / cites work: On limits in complete semirings / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Monoides et semi-anneaux complets. (Complete monoids and semirings)
+Normal rank
@@ Property / cites work @@
+Monoides et semi-anneaux continus. (Continuous monoids and semirings)
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Matrix versions of aperiodic $K$-rational identities
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+A complete axiom system for rational sets with multiplicity
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for trace congruence of finite state behaviors
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596827
@@ Property / cites work: Q5596827 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3532996