Matches in SemOpenAlex for { <https://semopenalex.org/work/W38805521> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W38805521 abstract "Nested words have been introduced by Alur and Madhusudan as a model for e.g. recursive programs or XML documents and have received much recent interest. In this paper, we investigate a quantitative automaton model and a quantitative logic for nested words. The behavior resp. the semantics map nested words to weights taken from a strong bimonoid. Strong bimonoids can be viewed as semirings without requiring the distributivity assumption which was essential in the classical theory of formal power series; strong bimonoids include e.g. all bounded lattices and many other structures from multi-valued logics. Our main results show that weighted nested word automata and suitable weighted MSO logics are expressively equivalent. This extends the classical Buchi-Elgot result from words to a weighted setting for nested words." @default.
- W38805521 created "2016-06-24" @default.
- W38805521 creator A5026097476 @default.
- W38805521 creator A5031452772 @default.
- W38805521 date "2012-01-01" @default.
- W38805521 modified "2023-10-14" @default.
- W38805521 title "Weighted Nested Word Automata and Logics over Strong Bimonoids" @default.
- W38805521 cites W1491991866 @default.
- W38805521 cites W1506437980 @default.
- W38805521 cites W1567675301 @default.
- W38805521 cites W1578332044 @default.
- W38805521 cites W1607161872 @default.
- W38805521 cites W1643571618 @default.
- W38805521 cites W1698854595 @default.
- W38805521 cites W1977218932 @default.
- W38805521 cites W1984151763 @default.
- W38805521 cites W2010050150 @default.
- W38805521 cites W2013714680 @default.
- W38805521 cites W2013782635 @default.
- W38805521 cites W2016928625 @default.
- W38805521 cites W2035423077 @default.
- W38805521 cites W2087997688 @default.
- W38805521 cites W2109993263 @default.
- W38805521 cites W2131886132 @default.
- W38805521 cites W2132642300 @default.
- W38805521 cites W2953269645 @default.
- W38805521 cites W3126996113 @default.
- W38805521 cites W4244515670 @default.
- W38805521 doi "https://doi.org/10.1007/978-3-642-31606-7_12" @default.
- W38805521 hasPublicationYear "2012" @default.
- W38805521 type Work @default.
- W38805521 sameAs 38805521 @default.
- W38805521 citedByCount "3" @default.
- W38805521 countsByYear W388055212013 @default.
- W38805521 countsByYear W388055212014 @default.
- W38805521 crossrefType "book-chapter" @default.
- W38805521 hasAuthorship W38805521A5026097476 @default.
- W38805521 hasAuthorship W38805521A5031452772 @default.
- W38805521 hasConcept C111919701 @default.
- W38805521 hasConcept C112505250 @default.
- W38805521 hasConcept C11413529 @default.
- W38805521 hasConcept C11821877 @default.
- W38805521 hasConcept C134306372 @default.
- W38805521 hasConcept C138390121 @default.
- W38805521 hasConcept C184337299 @default.
- W38805521 hasConcept C195818886 @default.
- W38805521 hasConcept C199360897 @default.
- W38805521 hasConcept C202444582 @default.
- W38805521 hasConcept C2524010 @default.
- W38805521 hasConcept C33923547 @default.
- W38805521 hasConcept C34388435 @default.
- W38805521 hasConcept C41008148 @default.
- W38805521 hasConcept C80444323 @default.
- W38805521 hasConcept C8797682 @default.
- W38805521 hasConcept C90805587 @default.
- W38805521 hasConceptScore W38805521C111919701 @default.
- W38805521 hasConceptScore W38805521C112505250 @default.
- W38805521 hasConceptScore W38805521C11413529 @default.
- W38805521 hasConceptScore W38805521C11821877 @default.
- W38805521 hasConceptScore W38805521C134306372 @default.
- W38805521 hasConceptScore W38805521C138390121 @default.
- W38805521 hasConceptScore W38805521C184337299 @default.
- W38805521 hasConceptScore W38805521C195818886 @default.
- W38805521 hasConceptScore W38805521C199360897 @default.
- W38805521 hasConceptScore W38805521C202444582 @default.
- W38805521 hasConceptScore W38805521C2524010 @default.
- W38805521 hasConceptScore W38805521C33923547 @default.
- W38805521 hasConceptScore W38805521C34388435 @default.
- W38805521 hasConceptScore W38805521C41008148 @default.
- W38805521 hasConceptScore W38805521C80444323 @default.
- W38805521 hasConceptScore W38805521C8797682 @default.
- W38805521 hasConceptScore W38805521C90805587 @default.
- W38805521 hasLocation W388055211 @default.
- W38805521 hasOpenAccess W38805521 @default.
- W38805521 hasPrimaryLocation W388055211 @default.
- W38805521 hasRelatedWork W140266893 @default.
- W38805521 hasRelatedWork W14848105 @default.
- W38805521 hasRelatedWork W1486876676 @default.
- W38805521 hasRelatedWork W1994146759 @default.
- W38805521 hasRelatedWork W2098783442 @default.
- W38805521 hasRelatedWork W2125939438 @default.
- W38805521 hasRelatedWork W2407519077 @default.
- W38805521 hasRelatedWork W2419671704 @default.
- W38805521 hasRelatedWork W2581907835 @default.
- W38805521 hasRelatedWork W2626109160 @default.
- W38805521 hasRelatedWork W2785841537 @default.
- W38805521 hasRelatedWork W2912461213 @default.
- W38805521 hasRelatedWork W2953269645 @default.
- W38805521 hasRelatedWork W3041049778 @default.
- W38805521 hasRelatedWork W3198116752 @default.
- W38805521 hasRelatedWork W49543784 @default.
- W38805521 hasRelatedWork W573820141 @default.
- W38805521 hasRelatedWork W620282137 @default.
- W38805521 hasRelatedWork W2147884289 @default.
- W38805521 hasRelatedWork W2587439552 @default.
- W38805521 isParatext "false" @default.
- W38805521 isRetracted "false" @default.
- W38805521 magId "38805521" @default.
- W38805521 workType "book-chapter" @default.