Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971170072> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2971170072 endingPage "104445" @default.
- W2971170072 startingPage "104445" @default.
- W2971170072 abstract "We investigate weighted tree automata over Cauchy tree valuation monoids, a new type of weight structure which includes all commutative semirings and, in addition, average and discounted computations of weights for trees. We define rational tree series over these weight structures, and we prove Kleene's classical theorem for this setting: a tree series over a Cauchy tree valuation monoid is recognizable by a weighted tree automaton if and only if it is rational. The proof works via direct automata-theoretic constructions. Along the way, our results yield a new characterization of weighted tree automata over commutative semirings by rational expressions." @default.
- W2971170072 created "2019-09-05" @default.
- W2971170072 creator A5000512673 @default.
- W2971170072 creator A5026097476 @default.
- W2971170072 creator A5061481182 @default.
- W2971170072 date "2019-12-01" @default.
- W2971170072 modified "2023-09-23" @default.
- W2971170072 title "A Kleene theorem for weighted tree automata over tree valuation monoids" @default.
- W2971170072 cites W1984151763 @default.
- W2971170072 cites W1987028886 @default.
- W2971170072 cites W2003773138 @default.
- W2971170072 cites W2030307112 @default.
- W2971170072 cites W2068478937 @default.
- W2971170072 cites W2083816738 @default.
- W2971170072 cites W2170924664 @default.
- W2971170072 cites W2294334272 @default.
- W2971170072 cites W293593254 @default.
- W2971170072 doi "https://doi.org/10.1016/j.ic.2019.104445" @default.
- W2971170072 hasPublicationYear "2019" @default.
- W2971170072 type Work @default.
- W2971170072 sameAs 2971170072 @default.
- W2971170072 citedByCount "1" @default.
- W2971170072 countsByYear W29711700722021 @default.
- W2971170072 crossrefType "journal-article" @default.
- W2971170072 hasAuthorship W2971170072A5000512673 @default.
- W2971170072 hasAuthorship W2971170072A5026097476 @default.
- W2971170072 hasAuthorship W2971170072A5061481182 @default.
- W2971170072 hasConcept C10138342 @default.
- W2971170072 hasConcept C112505250 @default.
- W2971170072 hasConcept C113174947 @default.
- W2971170072 hasConcept C114614502 @default.
- W2971170072 hasConcept C118615104 @default.
- W2971170072 hasConcept C162324750 @default.
- W2971170072 hasConcept C183778304 @default.
- W2971170072 hasConcept C186027771 @default.
- W2971170072 hasConcept C206901836 @default.
- W2971170072 hasConcept C21696900 @default.
- W2971170072 hasConcept C2778583254 @default.
- W2971170072 hasConcept C33923547 @default.
- W2971170072 hasConcept C41008148 @default.
- W2971170072 hasConcept C80444323 @default.
- W2971170072 hasConceptScore W2971170072C10138342 @default.
- W2971170072 hasConceptScore W2971170072C112505250 @default.
- W2971170072 hasConceptScore W2971170072C113174947 @default.
- W2971170072 hasConceptScore W2971170072C114614502 @default.
- W2971170072 hasConceptScore W2971170072C118615104 @default.
- W2971170072 hasConceptScore W2971170072C162324750 @default.
- W2971170072 hasConceptScore W2971170072C183778304 @default.
- W2971170072 hasConceptScore W2971170072C186027771 @default.
- W2971170072 hasConceptScore W2971170072C206901836 @default.
- W2971170072 hasConceptScore W2971170072C21696900 @default.
- W2971170072 hasConceptScore W2971170072C2778583254 @default.
- W2971170072 hasConceptScore W2971170072C33923547 @default.
- W2971170072 hasConceptScore W2971170072C41008148 @default.
- W2971170072 hasConceptScore W2971170072C80444323 @default.
- W2971170072 hasFunder F4320320879 @default.
- W2971170072 hasFunder F4320326762 @default.
- W2971170072 hasLocation W29711700721 @default.
- W2971170072 hasOpenAccess W2971170072 @default.
- W2971170072 hasPrimaryLocation W29711700721 @default.
- W2971170072 hasRelatedWork W128048679 @default.
- W2971170072 hasRelatedWork W1464760834 @default.
- W2971170072 hasRelatedWork W2047705796 @default.
- W2971170072 hasRelatedWork W2068478937 @default.
- W2971170072 hasRelatedWork W2085888737 @default.
- W2971170072 hasRelatedWork W2403548539 @default.
- W2971170072 hasRelatedWork W2971170072 @default.
- W2971170072 hasRelatedWork W3176710411 @default.
- W2971170072 hasRelatedWork W150901856 @default.
- W2971170072 hasRelatedWork W2519408228 @default.
- W2971170072 hasVolume "269" @default.
- W2971170072 isParatext "false" @default.
- W2971170072 isRetracted "false" @default.
- W2971170072 magId "2971170072" @default.
- W2971170072 workType "article" @default.