Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396880053> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2396880053 abstract "Graph conditions are a means to express structural properties for graph transformation systems and graph programs in a large variety of application areas. With HR* graph conditions, non-local graph properties like “there exists a path of arbitrary length” or “the graph is circle-free” can be expressed. We show, by induction over the structure of formulas and conditions, that (1) any node-counting monadic second-order formula can be expressed by an HR∗ condition and (2) any HR* condition can be expressed by a second-order graph formula." @default.
- W2396880053 created "2016-06-24" @default.
- W2396880053 creator A5014171617 @default.
- W2396880053 date "2013-06-26" @default.
- W2396880053 modified "2023-09-23" @default.
- W2396880053 title "HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas" @default.
- W2396880053 cites W1502422810 @default.
- W2396880053 cites W1507479492 @default.
- W2396880053 cites W1512428151 @default.
- W2396880053 cites W1517150411 @default.
- W2396880053 cites W1537854563 @default.
- W2396880053 cites W1542360804 @default.
- W2396880053 cites W1548957673 @default.
- W2396880053 cites W1623604111 @default.
- W2396880053 cites W1647716320 @default.
- W2396880053 cites W2060933875 @default.
- W2396880053 cites W2079370090 @default.
- W2396880053 cites W2102697873 @default.
- W2396880053 cites W2141017646 @default.
- W2396880053 cites W2170244924 @default.
- W2396880053 cites W1568378341 @default.
- W2396880053 doi "https://doi.org/10.14279/tuj.eceasst.61.831" @default.
- W2396880053 hasPublicationYear "2013" @default.
- W2396880053 type Work @default.
- W2396880053 sameAs 2396880053 @default.
- W2396880053 citedByCount "2" @default.
- W2396880053 countsByYear W23968800532015 @default.
- W2396880053 countsByYear W23968800532016 @default.
- W2396880053 crossrefType "journal-article" @default.
- W2396880053 hasAuthorship W2396880053A5014171617 @default.
- W2396880053 hasConcept C114614502 @default.
- W2396880053 hasConcept C118615104 @default.
- W2396880053 hasConcept C123482549 @default.
- W2396880053 hasConcept C132525143 @default.
- W2396880053 hasConcept C168291704 @default.
- W2396880053 hasConcept C17169500 @default.
- W2396880053 hasConcept C18819970 @default.
- W2396880053 hasConcept C203776342 @default.
- W2396880053 hasConcept C22149727 @default.
- W2396880053 hasConcept C33923547 @default.
- W2396880053 hasConcept C41008148 @default.
- W2396880053 hasConceptScore W2396880053C114614502 @default.
- W2396880053 hasConceptScore W2396880053C118615104 @default.
- W2396880053 hasConceptScore W2396880053C123482549 @default.
- W2396880053 hasConceptScore W2396880053C132525143 @default.
- W2396880053 hasConceptScore W2396880053C168291704 @default.
- W2396880053 hasConceptScore W2396880053C17169500 @default.
- W2396880053 hasConceptScore W2396880053C18819970 @default.
- W2396880053 hasConceptScore W2396880053C203776342 @default.
- W2396880053 hasConceptScore W2396880053C22149727 @default.
- W2396880053 hasConceptScore W2396880053C33923547 @default.
- W2396880053 hasConceptScore W2396880053C41008148 @default.
- W2396880053 hasLocation W23968800531 @default.
- W2396880053 hasOpenAccess W2396880053 @default.
- W2396880053 hasPrimaryLocation W23968800531 @default.
- W2396880053 hasRelatedWork W1531317993 @default.
- W2396880053 hasRelatedWork W1535551556 @default.
- W2396880053 hasRelatedWork W1548957673 @default.
- W2396880053 hasRelatedWork W1810787746 @default.
- W2396880053 hasRelatedWork W1869660301 @default.
- W2396880053 hasRelatedWork W1965580387 @default.
- W2396880053 hasRelatedWork W204235972 @default.
- W2396880053 hasRelatedWork W2064721098 @default.
- W2396880053 hasRelatedWork W2079370090 @default.
- W2396880053 hasRelatedWork W2140412095 @default.
- W2396880053 hasRelatedWork W2141017646 @default.
- W2396880053 hasRelatedWork W2156723548 @default.
- W2396880053 hasRelatedWork W2395895297 @default.
- W2396880053 hasRelatedWork W2513523599 @default.
- W2396880053 hasRelatedWork W2902573520 @default.
- W2396880053 hasRelatedWork W2950358169 @default.
- W2396880053 hasRelatedWork W2951249989 @default.
- W2396880053 hasRelatedWork W3117047180 @default.
- W2396880053 hasRelatedWork W3203237345 @default.
- W2396880053 hasRelatedWork W78635179 @default.
- W2396880053 hasVolume "61" @default.
- W2396880053 isParatext "false" @default.
- W2396880053 isRetracted "false" @default.
- W2396880053 magId "2396880053" @default.
- W2396880053 workType "article" @default.