Matches in SemOpenAlex for { <https://semopenalex.org/work/W2059287145> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2059287145 endingPage "143" @default.
- W2059287145 startingPage "87" @default.
- W2059287145 abstract "Graphs are finite and handled as relational structures. We give some answers to the following general questions: (1) For which classes of graphs C is it possible to specify a linear ordering of the set of vertices of each graph of C by fixed monadic second-order formulas? (2) For which classes of graphs C does there exist an extension L of monadic second-order logic such that a subclass L of C is recognizable if and only if it is the class of graphs in C that satisfy a formula of L? (In this paper, recognizability is understood in an algebraic sense, relative to a finite set of graph operations and basic graphs that generate all graphs of C.) (3) For which classes of graphs C is it possible to construct, in every graph of the class, and by fixed formulas of a suitable extension of monadic second-order logic, its hierarchichal structure, i.e., a finite term written with the operations and basic graphs of (2), that defines the considered graph?" @default.
- W2059287145 created "2016-06-24" @default.
- W2059287145 creator A5029244225 @default.
- W2059287145 date "1996-06-01" @default.
- W2059287145 modified "2023-09-30" @default.
- W2059287145 title "The monadic second-order logic of graphs X: Linear orderings" @default.
- W2059287145 cites W1967736886 @default.
- W2059287145 cites W1980992394 @default.
- W2059287145 cites W1981539143 @default.
- W2059287145 cites W1992040352 @default.
- W2059287145 cites W1993698725 @default.
- W2059287145 cites W1998509117 @default.
- W2059287145 cites W2001042198 @default.
- W2059287145 cites W2020173592 @default.
- W2059287145 cites W2027893394 @default.
- W2059287145 cites W2028357390 @default.
- W2059287145 cites W2028775537 @default.
- W2059287145 cites W2036648964 @default.
- W2059287145 cites W2043711611 @default.
- W2059287145 cites W2089928579 @default.
- W2059287145 doi "https://doi.org/10.1016/0304-3975(95)00083-6" @default.
- W2059287145 hasPublicationYear "1996" @default.
- W2059287145 type Work @default.
- W2059287145 sameAs 2059287145 @default.
- W2059287145 citedByCount "68" @default.
- W2059287145 countsByYear W20592871452012 @default.
- W2059287145 countsByYear W20592871452013 @default.
- W2059287145 countsByYear W20592871452014 @default.
- W2059287145 countsByYear W20592871452015 @default.
- W2059287145 countsByYear W20592871452016 @default.
- W2059287145 countsByYear W20592871452017 @default.
- W2059287145 countsByYear W20592871452018 @default.
- W2059287145 countsByYear W20592871452020 @default.
- W2059287145 countsByYear W20592871452022 @default.
- W2059287145 countsByYear W20592871452023 @default.
- W2059287145 crossrefType "journal-article" @default.
- W2059287145 hasAuthorship W2059287145A5029244225 @default.
- W2059287145 hasBestOaLocation W20592871451 @default.
- W2059287145 hasConcept C102192266 @default.
- W2059287145 hasConcept C102993220 @default.
- W2059287145 hasConcept C114614502 @default.
- W2059287145 hasConcept C118615104 @default.
- W2059287145 hasConcept C124656256 @default.
- W2059287145 hasConcept C132525143 @default.
- W2059287145 hasConcept C160446614 @default.
- W2059287145 hasConcept C169896238 @default.
- W2059287145 hasConcept C203776342 @default.
- W2059287145 hasConcept C33923547 @default.
- W2059287145 hasConcept C41008148 @default.
- W2059287145 hasConcept C43517604 @default.
- W2059287145 hasConcept C59824394 @default.
- W2059287145 hasConcept C68103157 @default.
- W2059287145 hasConcept C74133993 @default.
- W2059287145 hasConcept C80444323 @default.
- W2059287145 hasConceptScore W2059287145C102192266 @default.
- W2059287145 hasConceptScore W2059287145C102993220 @default.
- W2059287145 hasConceptScore W2059287145C114614502 @default.
- W2059287145 hasConceptScore W2059287145C118615104 @default.
- W2059287145 hasConceptScore W2059287145C124656256 @default.
- W2059287145 hasConceptScore W2059287145C132525143 @default.
- W2059287145 hasConceptScore W2059287145C160446614 @default.
- W2059287145 hasConceptScore W2059287145C169896238 @default.
- W2059287145 hasConceptScore W2059287145C203776342 @default.
- W2059287145 hasConceptScore W2059287145C33923547 @default.
- W2059287145 hasConceptScore W2059287145C41008148 @default.
- W2059287145 hasConceptScore W2059287145C43517604 @default.
- W2059287145 hasConceptScore W2059287145C59824394 @default.
- W2059287145 hasConceptScore W2059287145C68103157 @default.
- W2059287145 hasConceptScore W2059287145C74133993 @default.
- W2059287145 hasConceptScore W2059287145C80444323 @default.
- W2059287145 hasIssue "1-2" @default.
- W2059287145 hasLocation W20592871451 @default.
- W2059287145 hasOpenAccess W2059287145 @default.
- W2059287145 hasPrimaryLocation W20592871451 @default.
- W2059287145 hasRelatedWork W1490784263 @default.
- W2059287145 hasRelatedWork W2075637037 @default.
- W2059287145 hasRelatedWork W2169699292 @default.
- W2059287145 hasRelatedWork W2766499403 @default.
- W2059287145 hasRelatedWork W2955095032 @default.
- W2059287145 hasRelatedWork W416686103 @default.
- W2059287145 hasRelatedWork W4220852510 @default.
- W2059287145 hasRelatedWork W4287749642 @default.
- W2059287145 hasRelatedWork W4288294436 @default.
- W2059287145 hasRelatedWork W628145248 @default.
- W2059287145 hasVolume "160" @default.
- W2059287145 isParatext "false" @default.
- W2059287145 isRetracted "false" @default.
- W2059287145 magId "2059287145" @default.
- W2059287145 workType "article" @default.