Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384525352> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4384525352 endingPage "26" @default.
- W4384525352 startingPage "1" @default.
- W4384525352 abstract "We consider weighted tree automata (wta) over bounded lattices, locally finite bounded lattices, distributive bounded lattices, and finite chains and we consider the weighted tree languages defined by their run semantics and by their initial algebra semantics. Due to these eight combinations, there are eight sets of weighted tree languages. Moreover, we consider the four sets of weighted tree languages which are recognized by crisp-deterministic wta over the above mentioned sets of weight algebras. We give all inclusion relations among all these twelve sets of weighted tree languages. More precisely, we prove that eleven of the twelve sets are equal, and this set is a proper subset of the set of weighted tree languages recognized by wta over bounded lattices with initial algebra semantics." @default.
- W4384525352 created "2023-07-18" @default.
- W4384525352 creator A5013068281 @default.
- W4384525352 creator A5061481182 @default.
- W4384525352 date "2023-07-17" @default.
- W4384525352 modified "2023-09-27" @default.
- W4384525352 title "A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices" @default.
- W4384525352 doi "https://doi.org/10.1142/s0129054123480039" @default.
- W4384525352 hasPublicationYear "2023" @default.
- W4384525352 type Work @default.
- W4384525352 citedByCount "0" @default.
- W4384525352 crossrefType "journal-article" @default.
- W4384525352 hasAuthorship W4384525352A5013068281 @default.
- W4384525352 hasAuthorship W4384525352A5061481182 @default.
- W4384525352 hasConcept C112505250 @default.
- W4384525352 hasConcept C113174947 @default.
- W4384525352 hasConcept C114614502 @default.
- W4384525352 hasConcept C11821877 @default.
- W4384525352 hasConcept C118615104 @default.
- W4384525352 hasConcept C134306372 @default.
- W4384525352 hasConcept C177264268 @default.
- W4384525352 hasConcept C184337299 @default.
- W4384525352 hasConcept C199360897 @default.
- W4384525352 hasConcept C202444582 @default.
- W4384525352 hasConcept C2778583254 @default.
- W4384525352 hasConcept C33923547 @default.
- W4384525352 hasConcept C34388435 @default.
- W4384525352 hasConcept C41008148 @default.
- W4384525352 hasConcept C80444323 @default.
- W4384525352 hasConceptScore W4384525352C112505250 @default.
- W4384525352 hasConceptScore W4384525352C113174947 @default.
- W4384525352 hasConceptScore W4384525352C114614502 @default.
- W4384525352 hasConceptScore W4384525352C11821877 @default.
- W4384525352 hasConceptScore W4384525352C118615104 @default.
- W4384525352 hasConceptScore W4384525352C134306372 @default.
- W4384525352 hasConceptScore W4384525352C177264268 @default.
- W4384525352 hasConceptScore W4384525352C184337299 @default.
- W4384525352 hasConceptScore W4384525352C199360897 @default.
- W4384525352 hasConceptScore W4384525352C202444582 @default.
- W4384525352 hasConceptScore W4384525352C2778583254 @default.
- W4384525352 hasConceptScore W4384525352C33923547 @default.
- W4384525352 hasConceptScore W4384525352C34388435 @default.
- W4384525352 hasConceptScore W4384525352C41008148 @default.
- W4384525352 hasConceptScore W4384525352C80444323 @default.
- W4384525352 hasLocation W43845253521 @default.
- W4384525352 hasOpenAccess W4384525352 @default.
- W4384525352 hasPrimaryLocation W43845253521 @default.
- W4384525352 hasRelatedWork W1510936503 @default.
- W4384525352 hasRelatedWork W1582302366 @default.
- W4384525352 hasRelatedWork W1626184434 @default.
- W4384525352 hasRelatedWork W2024091458 @default.
- W4384525352 hasRelatedWork W2052395110 @default.
- W4384525352 hasRelatedWork W2610542549 @default.
- W4384525352 hasRelatedWork W2915573831 @default.
- W4384525352 hasRelatedWork W4285164036 @default.
- W4384525352 hasRelatedWork W4379256319 @default.
- W4384525352 hasRelatedWork W4384525352 @default.
- W4384525352 isParatext "false" @default.
- W4384525352 isRetracted "false" @default.
- W4384525352 workType "article" @default.