Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574273323> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1574273323 endingPage "515" @default.
- W1574273323 startingPage "500" @default.
- W1574273323 abstract "In this paper, we consider the monadic second order logic (MSO) and two of its extensions, namely Counting MSO (CMSO) and Presburger MSO (PMSO), interpreted over unranked and unordered trees. We survey classes of tree automata introduced for the logics PMSO and CMSO as well as other related formalisms; we gather results from the literature and sometimes clarify or fill the remaining gaps between those various formalisms. Finally, we complete our study by adapting these classes of automata for capturing precisely the expressiveness of the logic MSO." @default.
- W1574273323 created "2016-06-24" @default.
- W1574273323 creator A5057438862 @default.
- W1574273323 creator A5064289290 @default.
- W1574273323 date "2005-01-01" @default.
- W1574273323 modified "2023-09-23" @default.
- W1574273323 title "Automata and Logics for Unranked and Unordered Trees" @default.
- W1574273323 cites W1501264070 @default.
- W1574273323 cites W1505425738 @default.
- W1574273323 cites W1545900962 @default.
- W1574273323 cites W1551851178 @default.
- W1574273323 cites W1561298068 @default.
- W1574273323 cites W1562651735 @default.
- W1574273323 cites W1573343649 @default.
- W1574273323 cites W1761245380 @default.
- W1574273323 cites W1970599921 @default.
- W1574273323 cites W1971953005 @default.
- W1574273323 cites W1982213843 @default.
- W1574273323 cites W2035020702 @default.
- W1574273323 cites W2036648964 @default.
- W1574273323 cites W2039309162 @default.
- W1574273323 cites W2050407768 @default.
- W1574273323 cites W2052432706 @default.
- W1574273323 cites W2157390113 @default.
- W1574273323 doi "https://doi.org/10.1007/978-3-540-32033-3_36" @default.
- W1574273323 hasPublicationYear "2005" @default.
- W1574273323 type Work @default.
- W1574273323 sameAs 1574273323 @default.
- W1574273323 citedByCount "21" @default.
- W1574273323 countsByYear W15742733232013 @default.
- W1574273323 countsByYear W15742733232014 @default.
- W1574273323 countsByYear W15742733232015 @default.
- W1574273323 countsByYear W15742733232018 @default.
- W1574273323 countsByYear W15742733232022 @default.
- W1574273323 crossrefType "book-chapter" @default.
- W1574273323 hasAuthorship W1574273323A5057438862 @default.
- W1574273323 hasAuthorship W1574273323A5064289290 @default.
- W1574273323 hasBestOaLocation W15742733232 @default.
- W1574273323 hasConcept C102993220 @default.
- W1574273323 hasConcept C112505250 @default.
- W1574273323 hasConcept C113174947 @default.
- W1574273323 hasConcept C114614502 @default.
- W1574273323 hasConcept C124656256 @default.
- W1574273323 hasConcept C153269930 @default.
- W1574273323 hasConcept C169896238 @default.
- W1574273323 hasConcept C171018156 @default.
- W1574273323 hasConcept C197855036 @default.
- W1574273323 hasConcept C199360897 @default.
- W1574273323 hasConcept C2524010 @default.
- W1574273323 hasConcept C2778583254 @default.
- W1574273323 hasConcept C33923547 @default.
- W1574273323 hasConcept C41008148 @default.
- W1574273323 hasConcept C80444323 @default.
- W1574273323 hasConceptScore W1574273323C102993220 @default.
- W1574273323 hasConceptScore W1574273323C112505250 @default.
- W1574273323 hasConceptScore W1574273323C113174947 @default.
- W1574273323 hasConceptScore W1574273323C114614502 @default.
- W1574273323 hasConceptScore W1574273323C124656256 @default.
- W1574273323 hasConceptScore W1574273323C153269930 @default.
- W1574273323 hasConceptScore W1574273323C169896238 @default.
- W1574273323 hasConceptScore W1574273323C171018156 @default.
- W1574273323 hasConceptScore W1574273323C197855036 @default.
- W1574273323 hasConceptScore W1574273323C199360897 @default.
- W1574273323 hasConceptScore W1574273323C2524010 @default.
- W1574273323 hasConceptScore W1574273323C2778583254 @default.
- W1574273323 hasConceptScore W1574273323C33923547 @default.
- W1574273323 hasConceptScore W1574273323C41008148 @default.
- W1574273323 hasConceptScore W1574273323C80444323 @default.
- W1574273323 hasLocation W15742733231 @default.
- W1574273323 hasLocation W15742733232 @default.
- W1574273323 hasLocation W15742733233 @default.
- W1574273323 hasLocation W15742733234 @default.
- W1574273323 hasOpenAccess W1574273323 @default.
- W1574273323 hasPrimaryLocation W15742733231 @default.
- W1574273323 hasRelatedWork W1540015096 @default.
- W1574273323 hasRelatedWork W1560227484 @default.
- W1574273323 hasRelatedWork W1582302366 @default.
- W1574273323 hasRelatedWork W1626184434 @default.
- W1574273323 hasRelatedWork W2014118070 @default.
- W1574273323 hasRelatedWork W2518552594 @default.
- W1574273323 hasRelatedWork W2925957576 @default.
- W1574273323 hasRelatedWork W4285164036 @default.
- W1574273323 hasRelatedWork W4293399599 @default.
- W1574273323 hasRelatedWork W4319653765 @default.
- W1574273323 isParatext "false" @default.
- W1574273323 isRetracted "false" @default.
- W1574273323 magId "1574273323" @default.
- W1574273323 workType "book-chapter" @default.