Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992018052> ?p ?o ?g. }
- W1992018052 endingPage "248" @default.
- W1992018052 startingPage "222" @default.
- W1992018052 abstract "With an aim to developing expressive language theoretical tools applicable to inverse semigroup languages, that is, subsets of inverse semigroups, this paper explores the language theory of finite labeled birooted trees: Munn's birooted trees extended with vertex labeling. To this purpose, we define a notion of finite state birooted tree automata that simply extends finite state word automata semantics. This notion is shown to capture the class of languages that are definable in Monadic Second Order Logic and upward closed with respect to the natural order. Then, we derive from these automata the notion of quasi-recognizable languages, that is, languages recognizable by means of (adequate) premorphisms into finite (adequately) ordered monoids. This notion is shown to capture finite Boolean combinations of languages as above, a class that contains classical regular languages of finite (mono-rooted) trees. This contrasts with the known collapse of classical algebraic tools when applied to inverse semigroups." @default.
- W1992018052 created "2016-06-24" @default.
- W1992018052 creator A5041128243 @default.
- W1992018052 date "2015-08-01" @default.
- W1992018052 modified "2023-10-10" @default.
- W1992018052 title "On labeled birooted tree languages: Algebras, automata and logic" @default.
- W1992018052 cites W133836307 @default.
- W1992018052 cites W1504333451 @default.
- W1992018052 cites W1964165611 @default.
- W1992018052 cites W1975742896 @default.
- W1992018052 cites W2004638641 @default.
- W1992018052 cites W2011892490 @default.
- W1992018052 cites W2019932899 @default.
- W1992018052 cites W2022576092 @default.
- W1992018052 cites W2025607263 @default.
- W1992018052 cites W2028886165 @default.
- W1992018052 cites W2045860742 @default.
- W1992018052 cites W2049182140 @default.
- W1992018052 cites W2062792526 @default.
- W1992018052 cites W2067309274 @default.
- W1992018052 cites W2070740841 @default.
- W1992018052 cites W2071908342 @default.
- W1992018052 cites W2080253831 @default.
- W1992018052 cites W2101716083 @default.
- W1992018052 cites W2111380805 @default.
- W1992018052 cites W2116135440 @default.
- W1992018052 cites W2560924995 @default.
- W1992018052 cites W4210797690 @default.
- W1992018052 cites W4212828952 @default.
- W1992018052 cites W4213076102 @default.
- W1992018052 doi "https://doi.org/10.1016/j.ic.2014.12.016" @default.
- W1992018052 hasPublicationYear "2015" @default.
- W1992018052 type Work @default.
- W1992018052 sameAs 1992018052 @default.
- W1992018052 citedByCount "6" @default.
- W1992018052 countsByYear W19920180522014 @default.
- W1992018052 countsByYear W19920180522015 @default.
- W1992018052 countsByYear W19920180522016 @default.
- W1992018052 countsByYear W19920180522017 @default.
- W1992018052 countsByYear W19920180522019 @default.
- W1992018052 crossrefType "journal-article" @default.
- W1992018052 hasAuthorship W1992018052A5041128243 @default.
- W1992018052 hasBestOaLocation W19920180521 @default.
- W1992018052 hasConcept C102993220 @default.
- W1992018052 hasConcept C112505250 @default.
- W1992018052 hasConcept C113174947 @default.
- W1992018052 hasConcept C11413529 @default.
- W1992018052 hasConcept C114614502 @default.
- W1992018052 hasConcept C116248031 @default.
- W1992018052 hasConcept C118615104 @default.
- W1992018052 hasConcept C124656256 @default.
- W1992018052 hasConcept C167822520 @default.
- W1992018052 hasConcept C169896238 @default.
- W1992018052 hasConcept C174327141 @default.
- W1992018052 hasConcept C207405024 @default.
- W1992018052 hasConcept C207467116 @default.
- W1992018052 hasConcept C2524010 @default.
- W1992018052 hasConcept C33923547 @default.
- W1992018052 hasConcept C41008148 @default.
- W1992018052 hasConcept C52370388 @default.
- W1992018052 hasConcept C80444323 @default.
- W1992018052 hasConcept C92117001 @default.
- W1992018052 hasConceptScore W1992018052C102993220 @default.
- W1992018052 hasConceptScore W1992018052C112505250 @default.
- W1992018052 hasConceptScore W1992018052C113174947 @default.
- W1992018052 hasConceptScore W1992018052C11413529 @default.
- W1992018052 hasConceptScore W1992018052C114614502 @default.
- W1992018052 hasConceptScore W1992018052C116248031 @default.
- W1992018052 hasConceptScore W1992018052C118615104 @default.
- W1992018052 hasConceptScore W1992018052C124656256 @default.
- W1992018052 hasConceptScore W1992018052C167822520 @default.
- W1992018052 hasConceptScore W1992018052C169896238 @default.
- W1992018052 hasConceptScore W1992018052C174327141 @default.
- W1992018052 hasConceptScore W1992018052C207405024 @default.
- W1992018052 hasConceptScore W1992018052C207467116 @default.
- W1992018052 hasConceptScore W1992018052C2524010 @default.
- W1992018052 hasConceptScore W1992018052C33923547 @default.
- W1992018052 hasConceptScore W1992018052C41008148 @default.
- W1992018052 hasConceptScore W1992018052C52370388 @default.
- W1992018052 hasConceptScore W1992018052C80444323 @default.
- W1992018052 hasConceptScore W1992018052C92117001 @default.
- W1992018052 hasLocation W19920180521 @default.
- W1992018052 hasLocation W19920180522 @default.
- W1992018052 hasLocation W19920180523 @default.
- W1992018052 hasLocation W19920180524 @default.
- W1992018052 hasLocation W19920180525 @default.
- W1992018052 hasOpenAccess W1992018052 @default.
- W1992018052 hasPrimaryLocation W19920180521 @default.
- W1992018052 hasRelatedWork W1549824944 @default.
- W1992018052 hasRelatedWork W2066393902 @default.
- W1992018052 hasRelatedWork W2169203237 @default.
- W1992018052 hasRelatedWork W2390778428 @default.
- W1992018052 hasRelatedWork W2537940722 @default.
- W1992018052 hasRelatedWork W4205935260 @default.
- W1992018052 hasRelatedWork W4300232377 @default.
- W1992018052 hasRelatedWork W4386400090 @default.
- W1992018052 hasRelatedWork W2154230112 @default.
- W1992018052 hasRelatedWork W277366380 @default.