Zobrazeno 1 - 10
of 348
pro vyhledávání: '"Ésik, Z."'
Conway hemirings are Conway semirings without a multiplicative unit. We also define iteration hemirings as Conway hemirings satisfying certain identities associated with the finite groups. Iteration hemirings are iteration semirings without a multipl
Externí odkaz:
http://arxiv.org/abs/1307.0725
Autor:
Bloom, S. L., Esik, Z.
An algebraic tree T is one determined by a finite system of fixed point equations. The frontier \Fr(T) of an algebraic tree t is linearly ordered by the lexicographic order \lex. When (\Fr(T),\lex) is well-ordered, its order type is an \textbf{algebr
Externí odkaz:
http://arxiv.org/abs/0907.0877
A Conway semiring is a semiring $S$ equipped with a unary operation $^*:S \to S$, always called 'star', satisfying the sum star and product star identities. It is known that these identities imply a Kleene type theorem. Some computationally important
Externí odkaz:
http://arxiv.org/abs/0712.2952
Autor:
Bloom, S. L., Esik, Z.
Iteration semirings are Conway semirings satisfying Conway's group identities. We show that the semirings $\N^{\rat}\llangle \Sigma^* \rrangle$ of rational power series with coefficients in the semiring $\N$ of natural numbers are the free partial it
Externí odkaz:
http://arxiv.org/abs/0712.1337
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Logic and Algebraic Programming April-May 2013 82(3-4):111-122
