Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035844623> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2035844623 endingPage "33" @default.
- W2035844623 startingPage "29" @default.
- W2035844623 abstract "We show that a language of infinite binary trees is definable by a Σ2-formula of the monadic second order logic of two successors (with no additional symbols) iff it can be accepted by a Büchi automaton. The same result has been obtained by G. Lenzi, but our proof is simpler." @default.
- W2035844623 created "2016-06-24" @default.
- W2035844623 creator A5087117325 @default.
- W2035844623 date "2002-01-01" @default.
- W2035844623 modified "2023-09-24" @default.
- W2035844623 title "A characterization of Büchi tree automata" @default.
- W2035844623 cites W1504333451 @default.
- W2035844623 cites W1585825542 @default.
- W2035844623 cites W2003940577 @default.
- W2035844623 cites W2073663206 @default.
- W2035844623 cites W2073837347 @default.
- W2035844623 cites W2149217950 @default.
- W2035844623 cites W2162583406 @default.
- W2035844623 cites W2395891450 @default.
- W2035844623 doi "https://doi.org/10.1016/s0020-0190(01)00190-9" @default.
- W2035844623 hasPublicationYear "2002" @default.
- W2035844623 type Work @default.
- W2035844623 sameAs 2035844623 @default.
- W2035844623 citedByCount "3" @default.
- W2035844623 crossrefType "journal-article" @default.
- W2035844623 hasAuthorship W2035844623A5087117325 @default.
- W2035844623 hasConcept C102993220 @default.
- W2035844623 hasConcept C112505250 @default.
- W2035844623 hasConcept C113174947 @default.
- W2035844623 hasConcept C114614502 @default.
- W2035844623 hasConcept C118615104 @default.
- W2035844623 hasConcept C124656256 @default.
- W2035844623 hasConcept C165753454 @default.
- W2035844623 hasConcept C169896238 @default.
- W2035844623 hasConcept C171250308 @default.
- W2035844623 hasConcept C192562407 @default.
- W2035844623 hasConcept C194525867 @default.
- W2035844623 hasConcept C197855036 @default.
- W2035844623 hasConcept C2778583254 @default.
- W2035844623 hasConcept C2780841128 @default.
- W2035844623 hasConcept C33923547 @default.
- W2035844623 hasConcept C41008148 @default.
- W2035844623 hasConcept C80444323 @default.
- W2035844623 hasConcept C91154448 @default.
- W2035844623 hasConceptScore W2035844623C102993220 @default.
- W2035844623 hasConceptScore W2035844623C112505250 @default.
- W2035844623 hasConceptScore W2035844623C113174947 @default.
- W2035844623 hasConceptScore W2035844623C114614502 @default.
- W2035844623 hasConceptScore W2035844623C118615104 @default.
- W2035844623 hasConceptScore W2035844623C124656256 @default.
- W2035844623 hasConceptScore W2035844623C165753454 @default.
- W2035844623 hasConceptScore W2035844623C169896238 @default.
- W2035844623 hasConceptScore W2035844623C171250308 @default.
- W2035844623 hasConceptScore W2035844623C192562407 @default.
- W2035844623 hasConceptScore W2035844623C194525867 @default.
- W2035844623 hasConceptScore W2035844623C197855036 @default.
- W2035844623 hasConceptScore W2035844623C2778583254 @default.
- W2035844623 hasConceptScore W2035844623C2780841128 @default.
- W2035844623 hasConceptScore W2035844623C33923547 @default.
- W2035844623 hasConceptScore W2035844623C41008148 @default.
- W2035844623 hasConceptScore W2035844623C80444323 @default.
- W2035844623 hasConceptScore W2035844623C91154448 @default.
- W2035844623 hasIssue "1" @default.
- W2035844623 hasLocation W20358446231 @default.
- W2035844623 hasOpenAccess W2035844623 @default.
- W2035844623 hasPrimaryLocation W20358446231 @default.
- W2035844623 hasRelatedWork W1566792041 @default.
- W2035844623 hasRelatedWork W1628432091 @default.
- W2035844623 hasRelatedWork W1966269148 @default.
- W2035844623 hasRelatedWork W2024091458 @default.
- W2035844623 hasRelatedWork W2052395110 @default.
- W2035844623 hasRelatedWork W2073837347 @default.
- W2035844623 hasRelatedWork W2915573831 @default.
- W2035844623 hasRelatedWork W2951329069 @default.
- W2035844623 hasRelatedWork W4302494004 @default.
- W2035844623 hasRelatedWork W2562524242 @default.
- W2035844623 hasVolume "81" @default.
- W2035844623 isParatext "false" @default.
- W2035844623 isRetracted "false" @default.
- W2035844623 magId "2035844623" @default.
- W2035844623 workType "article" @default.