Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017081972> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2017081972 endingPage "239" @default.
- W2017081972 startingPage "195" @default.
- W2017081972 abstract "We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindström quantifiers. An important instance of our result concerns first-order definable tree languages. Our characterization relies on the usage of preclones, an algebraic structure introduced by the authors in a previous paper, and of the block product operation on preclones. Our results generalize analogous results on finite word languages, but it must be noted that, as they stand, they do not yield an algorithm to decide whether a given regular tree language is first-order definable." @default.
- W2017081972 created "2016-06-24" @default.
- W2017081972 creator A5017293831 @default.
- W2017081972 creator A5043381718 @default.
- W2017081972 date "2010-03-01" @default.
- W2017081972 modified "2023-10-16" @default.
- W2017081972 title "ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES" @default.
- W2017081972 cites W1816620374 @default.
- W2017081972 cites W1949820592 @default.
- W2017081972 cites W1971672075 @default.
- W2017081972 cites W1980692207 @default.
- W2017081972 cites W1988683807 @default.
- W2017081972 cites W1994914919 @default.
- W2017081972 cites W2000145655 @default.
- W2017081972 cites W200063938 @default.
- W2017081972 cites W2017208950 @default.
- W2017081972 cites W2023227558 @default.
- W2017081972 cites W2028504862 @default.
- W2017081972 cites W2037411979 @default.
- W2017081972 cites W2079502209 @default.
- W2017081972 cites W2087218295 @default.
- W2017081972 cites W2089108410 @default.
- W2017081972 cites W2093913332 @default.
- W2017081972 cites W4235698472 @default.
- W2017081972 cites W4252933876 @default.
- W2017081972 cites W57066809 @default.
- W2017081972 doi "https://doi.org/10.1142/s0218196710005595" @default.
- W2017081972 hasPublicationYear "2010" @default.
- W2017081972 type Work @default.
- W2017081972 sameAs 2017081972 @default.
- W2017081972 citedByCount "4" @default.
- W2017081972 countsByYear W20170819722016 @default.
- W2017081972 countsByYear W20170819722020 @default.
- W2017081972 crossrefType "journal-article" @default.
- W2017081972 hasAuthorship W2017081972A5017293831 @default.
- W2017081972 hasAuthorship W2017081972A5043381718 @default.
- W2017081972 hasBestOaLocation W20170819722 @default.
- W2017081972 hasConcept C113174947 @default.
- W2017081972 hasConcept C114614502 @default.
- W2017081972 hasConcept C118615104 @default.
- W2017081972 hasConcept C134306372 @default.
- W2017081972 hasConcept C136119220 @default.
- W2017081972 hasConcept C171250308 @default.
- W2017081972 hasConcept C192562407 @default.
- W2017081972 hasConcept C202444582 @default.
- W2017081972 hasConcept C2524010 @default.
- W2017081972 hasConcept C2777210771 @default.
- W2017081972 hasConcept C2780841128 @default.
- W2017081972 hasConcept C33923547 @default.
- W2017081972 hasConcept C90673727 @default.
- W2017081972 hasConcept C9376300 @default.
- W2017081972 hasConceptScore W2017081972C113174947 @default.
- W2017081972 hasConceptScore W2017081972C114614502 @default.
- W2017081972 hasConceptScore W2017081972C118615104 @default.
- W2017081972 hasConceptScore W2017081972C134306372 @default.
- W2017081972 hasConceptScore W2017081972C136119220 @default.
- W2017081972 hasConceptScore W2017081972C171250308 @default.
- W2017081972 hasConceptScore W2017081972C192562407 @default.
- W2017081972 hasConceptScore W2017081972C202444582 @default.
- W2017081972 hasConceptScore W2017081972C2524010 @default.
- W2017081972 hasConceptScore W2017081972C2777210771 @default.
- W2017081972 hasConceptScore W2017081972C2780841128 @default.
- W2017081972 hasConceptScore W2017081972C33923547 @default.
- W2017081972 hasConceptScore W2017081972C90673727 @default.
- W2017081972 hasConceptScore W2017081972C9376300 @default.
- W2017081972 hasIssue "02" @default.
- W2017081972 hasLocation W20170819721 @default.
- W2017081972 hasLocation W20170819722 @default.
- W2017081972 hasLocation W20170819723 @default.
- W2017081972 hasLocation W20170819724 @default.
- W2017081972 hasLocation W20170819725 @default.
- W2017081972 hasLocation W20170819726 @default.
- W2017081972 hasLocation W20170819727 @default.
- W2017081972 hasLocation W20170819728 @default.
- W2017081972 hasLocation W20170819729 @default.
- W2017081972 hasOpenAccess W2017081972 @default.
- W2017081972 hasPrimaryLocation W20170819721 @default.
- W2017081972 hasRelatedWork W1483407203 @default.
- W2017081972 hasRelatedWork W1982108276 @default.
- W2017081972 hasRelatedWork W2009883749 @default.
- W2017081972 hasRelatedWork W2027794350 @default.
- W2017081972 hasRelatedWork W2735573198 @default.
- W2017081972 hasRelatedWork W29442446 @default.
- W2017081972 hasRelatedWork W330727063 @default.
- W2017081972 hasRelatedWork W4206825956 @default.
- W2017081972 hasRelatedWork W4247143848 @default.
- W2017081972 hasRelatedWork W651098627 @default.
- W2017081972 hasVolume "20" @default.
- W2017081972 isParatext "false" @default.
- W2017081972 isRetracted "false" @default.
- W2017081972 magId "2017081972" @default.
- W2017081972 workType "article" @default.