Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382401265> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4382401265 endingPage "12" @default.
- W4382401265 startingPage "1" @default.
- W4382401265 abstract "The class of Boolean combinations of tree languages recognized by deterministic top-down tree automata (also known as deterministic root-to-frontier automata) is studied. The problem of determining for a given regular tree language whether it belongs to this class is open. We provide some progress by two results: First, a characterization of this class by a natural extension of deterministic top-down tree automata is presented, and as an application we obtain a convenient method to show that certain regular tree languages are outside this class. In the second result, it is shown that, for fixed [Formula: see text], it is decidable whether a regular tree language is a Boolean combination of [Formula: see text] tree languages recognized by deterministic top-down tree automata." @default.
- W4382401265 created "2023-06-29" @default.
- W4382401265 creator A5020814539 @default.
- W4382401265 creator A5021229064 @default.
- W4382401265 date "2023-06-28" @default.
- W4382401265 modified "2023-09-29" @default.
- W4382401265 title "On the Boolean Closure of Deterministic Top-Down Tree Automata" @default.
- W4382401265 doi "https://doi.org/10.1142/s0129054123480015" @default.
- W4382401265 hasPublicationYear "2023" @default.
- W4382401265 type Work @default.
- W4382401265 citedByCount "0" @default.
- W4382401265 crossrefType "journal-article" @default.
- W4382401265 hasAuthorship W4382401265A5020814539 @default.
- W4382401265 hasAuthorship W4382401265A5021229064 @default.
- W4382401265 hasConcept C100560664 @default.
- W4382401265 hasConcept C112505250 @default.
- W4382401265 hasConcept C113174947 @default.
- W4382401265 hasConcept C114614502 @default.
- W4382401265 hasConcept C116248031 @default.
- W4382401265 hasConcept C118615104 @default.
- W4382401265 hasConcept C146834321 @default.
- W4382401265 hasConcept C153269930 @default.
- W4382401265 hasConcept C154945302 @default.
- W4382401265 hasConcept C162324750 @default.
- W4382401265 hasConcept C163797641 @default.
- W4382401265 hasConcept C174327141 @default.
- W4382401265 hasConcept C194525867 @default.
- W4382401265 hasConcept C197855036 @default.
- W4382401265 hasConcept C2777212361 @default.
- W4382401265 hasConcept C2778583254 @default.
- W4382401265 hasConcept C33923547 @default.
- W4382401265 hasConcept C34447519 @default.
- W4382401265 hasConcept C41008148 @default.
- W4382401265 hasConcept C80444323 @default.
- W4382401265 hasConcept C92117001 @default.
- W4382401265 hasConceptScore W4382401265C100560664 @default.
- W4382401265 hasConceptScore W4382401265C112505250 @default.
- W4382401265 hasConceptScore W4382401265C113174947 @default.
- W4382401265 hasConceptScore W4382401265C114614502 @default.
- W4382401265 hasConceptScore W4382401265C116248031 @default.
- W4382401265 hasConceptScore W4382401265C118615104 @default.
- W4382401265 hasConceptScore W4382401265C146834321 @default.
- W4382401265 hasConceptScore W4382401265C153269930 @default.
- W4382401265 hasConceptScore W4382401265C154945302 @default.
- W4382401265 hasConceptScore W4382401265C162324750 @default.
- W4382401265 hasConceptScore W4382401265C163797641 @default.
- W4382401265 hasConceptScore W4382401265C174327141 @default.
- W4382401265 hasConceptScore W4382401265C194525867 @default.
- W4382401265 hasConceptScore W4382401265C197855036 @default.
- W4382401265 hasConceptScore W4382401265C2777212361 @default.
- W4382401265 hasConceptScore W4382401265C2778583254 @default.
- W4382401265 hasConceptScore W4382401265C33923547 @default.
- W4382401265 hasConceptScore W4382401265C34447519 @default.
- W4382401265 hasConceptScore W4382401265C41008148 @default.
- W4382401265 hasConceptScore W4382401265C80444323 @default.
- W4382401265 hasConceptScore W4382401265C92117001 @default.
- W4382401265 hasLocation W43824012651 @default.
- W4382401265 hasOpenAccess W4382401265 @default.
- W4382401265 hasPrimaryLocation W43824012651 @default.
- W4382401265 hasRelatedWork W149263113 @default.
- W4382401265 hasRelatedWork W1582302366 @default.
- W4382401265 hasRelatedWork W1628432091 @default.
- W4382401265 hasRelatedWork W1983547737 @default.
- W4382401265 hasRelatedWork W2052395110 @default.
- W4382401265 hasRelatedWork W2137024331 @default.
- W4382401265 hasRelatedWork W2163914337 @default.
- W4382401265 hasRelatedWork W2535076018 @default.
- W4382401265 hasRelatedWork W2915573831 @default.
- W4382401265 hasRelatedWork W4382401265 @default.
- W4382401265 isParatext "false" @default.
- W4382401265 isRetracted "false" @default.
- W4382401265 workType "article" @default.