Matches in SemOpenAlex for { <https://semopenalex.org/work/W1515534319> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1515534319 endingPage "339" @default.
- W1515534319 startingPage "327" @default.
- W1515534319 abstract "We consider regular languages of ranked labeled trees. We give an algebraic characterization of the regular languages over such trees that are definable in first-order logic in the language of labeled graphs. These languages are the analog on ranked trees of the “locally threshold testable” languages on strings. We show that this characterization yields a decision procedure for determining whether a regular collection of trees is first-order definable: the procedure is polynomial time in the minimal automaton presenting the regular language." @default.
- W1515534319 created "2016-06-24" @default.
- W1515534319 creator A5037774973 @default.
- W1515534319 creator A5042411667 @default.
- W1515534319 date "2005-01-01" @default.
- W1515534319 modified "2023-10-17" @default.
- W1515534319 title "Regular Tree Languages Definable in FO" @default.
- W1515534319 cites W1489366126 @default.
- W1515534319 cites W1597502208 @default.
- W1515534319 cites W1735035297 @default.
- W1515534319 cites W1884776593 @default.
- W1515534319 cites W200063938 @default.
- W1515534319 cites W2021552369 @default.
- W1515534319 cites W2027683388 @default.
- W1515534319 cites W2035020702 @default.
- W1515534319 cites W2052706627 @default.
- W1515534319 cites W2073663206 @default.
- W1515534319 cites W2089108410 @default.
- W1515534319 cites W2102446786 @default.
- W1515534319 cites W2116250539 @default.
- W1515534319 cites W4205178514 @default.
- W1515534319 cites W4214836455 @default.
- W1515534319 cites W57066809 @default.
- W1515534319 doi "https://doi.org/10.1007/978-3-540-31856-9_27" @default.
- W1515534319 hasPublicationYear "2005" @default.
- W1515534319 type Work @default.
- W1515534319 sameAs 1515534319 @default.
- W1515534319 citedByCount "32" @default.
- W1515534319 countsByYear W15155343192015 @default.
- W1515534319 countsByYear W15155343192018 @default.
- W1515534319 countsByYear W15155343192020 @default.
- W1515534319 countsByYear W15155343192021 @default.
- W1515534319 crossrefType "book-chapter" @default.
- W1515534319 hasAuthorship W1515534319A5037774973 @default.
- W1515534319 hasAuthorship W1515534319A5042411667 @default.
- W1515534319 hasConcept C112505250 @default.
- W1515534319 hasConcept C113174947 @default.
- W1515534319 hasConcept C11413529 @default.
- W1515534319 hasConcept C114614502 @default.
- W1515534319 hasConcept C118615104 @default.
- W1515534319 hasConcept C146072743 @default.
- W1515534319 hasConcept C171250308 @default.
- W1515534319 hasConcept C192562407 @default.
- W1515534319 hasConcept C199360897 @default.
- W1515534319 hasConcept C2780841128 @default.
- W1515534319 hasConcept C311688 @default.
- W1515534319 hasConcept C33923547 @default.
- W1515534319 hasConcept C41008148 @default.
- W1515534319 hasConcept C52370388 @default.
- W1515534319 hasConcept C80444323 @default.
- W1515534319 hasConceptScore W1515534319C112505250 @default.
- W1515534319 hasConceptScore W1515534319C113174947 @default.
- W1515534319 hasConceptScore W1515534319C11413529 @default.
- W1515534319 hasConceptScore W1515534319C114614502 @default.
- W1515534319 hasConceptScore W1515534319C118615104 @default.
- W1515534319 hasConceptScore W1515534319C146072743 @default.
- W1515534319 hasConceptScore W1515534319C171250308 @default.
- W1515534319 hasConceptScore W1515534319C192562407 @default.
- W1515534319 hasConceptScore W1515534319C199360897 @default.
- W1515534319 hasConceptScore W1515534319C2780841128 @default.
- W1515534319 hasConceptScore W1515534319C311688 @default.
- W1515534319 hasConceptScore W1515534319C33923547 @default.
- W1515534319 hasConceptScore W1515534319C41008148 @default.
- W1515534319 hasConceptScore W1515534319C52370388 @default.
- W1515534319 hasConceptScore W1515534319C80444323 @default.
- W1515534319 hasLocation W15155343191 @default.
- W1515534319 hasOpenAccess W1515534319 @default.
- W1515534319 hasPrimaryLocation W15155343191 @default.
- W1515534319 hasRelatedWork W107991422 @default.
- W1515534319 hasRelatedWork W1529714626 @default.
- W1515534319 hasRelatedWork W1553931347 @default.
- W1515534319 hasRelatedWork W1581575858 @default.
- W1515534319 hasRelatedWork W1582302366 @default.
- W1515534319 hasRelatedWork W1994748133 @default.
- W1515534319 hasRelatedWork W2042527825 @default.
- W1515534319 hasRelatedWork W2234262632 @default.
- W1515534319 hasRelatedWork W3046613010 @default.
- W1515534319 hasRelatedWork W4379256319 @default.
- W1515534319 isParatext "false" @default.
- W1515534319 isRetracted "false" @default.
- W1515534319 magId "1515534319" @default.
- W1515534319 workType "book-chapter" @default.