Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531510760> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1531510760 endingPage "343" @default.
- W1531510760 startingPage "329" @default.
- W1531510760 abstract "We investigate the question whether the well-known correspondence between tree automata and the weak second order logic of two successor functions (WS2S) can be extended to tree automata with tests. Our first insight is that there is no generalization of tree automata with tests that has a decidable emptiness problem and that is equivalent to the full class of formulae in some extension of WS2S, at least not when we are asking for an conservative extension of the classical correspondence between WS2S and tree automata to tree automata with tests. As a consequence we can extend the correspondence between tree automata and WS2S to automata with tests only when we admit a restriction of the class of formulae. We present a logic, called WS2Sy, and a restriction of the class of formula, called uniform, that is equivalent to tree automata with tests." @default.
- W1531510760 created "2016-06-24" @default.
- W1531510760 creator A5046601110 @default.
- W1531510760 date "2000-01-01" @default.
- W1531510760 modified "2023-09-26" @default.
- W1531510760 title "Predicate Logic and Tree Automata with Tests" @default.
- W1531510760 cites W1510221175 @default.
- W1531510760 cites W1564330433 @default.
- W1531510760 cites W2035020702 @default.
- W1531510760 cites W2116976042 @default.
- W1531510760 cites W4235904749 @default.
- W1531510760 cites W4240244556 @default.
- W1531510760 doi "https://doi.org/10.1007/3-540-46432-8_22" @default.
- W1531510760 hasPublicationYear "2000" @default.
- W1531510760 type Work @default.
- W1531510760 sameAs 1531510760 @default.
- W1531510760 citedByCount "5" @default.
- W1531510760 countsByYear W15315107602012 @default.
- W1531510760 countsByYear W15315107602013 @default.
- W1531510760 countsByYear W15315107602014 @default.
- W1531510760 crossrefType "book-chapter" @default.
- W1531510760 hasAuthorship W1531510760A5046601110 @default.
- W1531510760 hasBestOaLocation W15315107601 @default.
- W1531510760 hasConcept C112505250 @default.
- W1531510760 hasConcept C113174947 @default.
- W1531510760 hasConcept C114614502 @default.
- W1531510760 hasConcept C116248031 @default.
- W1531510760 hasConcept C118615104 @default.
- W1531510760 hasConcept C153269930 @default.
- W1531510760 hasConcept C174327141 @default.
- W1531510760 hasConcept C2778583254 @default.
- W1531510760 hasConcept C33923547 @default.
- W1531510760 hasConcept C41008148 @default.
- W1531510760 hasConcept C80444323 @default.
- W1531510760 hasConcept C92117001 @default.
- W1531510760 hasConceptScore W1531510760C112505250 @default.
- W1531510760 hasConceptScore W1531510760C113174947 @default.
- W1531510760 hasConceptScore W1531510760C114614502 @default.
- W1531510760 hasConceptScore W1531510760C116248031 @default.
- W1531510760 hasConceptScore W1531510760C118615104 @default.
- W1531510760 hasConceptScore W1531510760C153269930 @default.
- W1531510760 hasConceptScore W1531510760C174327141 @default.
- W1531510760 hasConceptScore W1531510760C2778583254 @default.
- W1531510760 hasConceptScore W1531510760C33923547 @default.
- W1531510760 hasConceptScore W1531510760C41008148 @default.
- W1531510760 hasConceptScore W1531510760C80444323 @default.
- W1531510760 hasConceptScore W1531510760C92117001 @default.
- W1531510760 hasLocation W15315107601 @default.
- W1531510760 hasOpenAccess W1531510760 @default.
- W1531510760 hasPrimaryLocation W15315107601 @default.
- W1531510760 hasRelatedWork W1464760834 @default.
- W1531510760 hasRelatedWork W1548346130 @default.
- W1531510760 hasRelatedWork W1568320863 @default.
- W1531510760 hasRelatedWork W2085563320 @default.
- W1531510760 hasRelatedWork W2145058408 @default.
- W1531510760 hasRelatedWork W2163914337 @default.
- W1531510760 hasRelatedWork W2235898682 @default.
- W1531510760 hasRelatedWork W2535076018 @default.
- W1531510760 hasRelatedWork W3208083928 @default.
- W1531510760 hasRelatedWork W2591130983 @default.
- W1531510760 isParatext "false" @default.
- W1531510760 isRetracted "false" @default.
- W1531510760 magId "1531510760" @default.
- W1531510760 workType "book-chapter" @default.