Matches in SemOpenAlex for { <https://semopenalex.org/work/W2883853180> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2883853180 endingPage "1362" @default.
- W2883853180 startingPage "1333" @default.
- W2883853180 abstract "This article explores methods to provide computer support for reasoning about graph transformations. We first define a general framework for representing graphs, graph morphisms and single graph rewriting steps. This setup allows for interactively reasoning about graph transformations. In order to achieve a higher degree of automation, we identify fragments of the graph description language in which we can reduce reasoning about global graph properties to reasoning about local properties, involving only a bounded number of nodes, which can be decided by Boolean satisfiability solving or even by deterministic computation of low complexity." @default.
- W2883853180 created "2018-08-03" @default.
- W2883853180 creator A5004844102 @default.
- W2883853180 date "2018-07-27" @default.
- W2883853180 modified "2023-09-24" @default.
- W2883853180 title "Interactive and automated proofs for graph transformations" @default.
- W2883853180 cites W1485718948 @default.
- W2883853180 cites W1502422810 @default.
- W2883853180 cites W1527018329 @default.
- W2883853180 cites W1810787746 @default.
- W2883853180 cites W1881794246 @default.
- W2883853180 cites W1975156572 @default.
- W2883853180 cites W1980948781 @default.
- W2883853180 cites W2006006495 @default.
- W2883853180 cites W2027274718 @default.
- W2883853180 cites W2072621429 @default.
- W2883853180 cites W2079370090 @default.
- W2883853180 cites W2100039408 @default.
- W2883853180 cites W2105655408 @default.
- W2883853180 cites W2124789887 @default.
- W2883853180 cites W2137628566 @default.
- W2883853180 cites W2145270986 @default.
- W2883853180 cites W2147832077 @default.
- W2883853180 cites W2153019760 @default.
- W2883853180 cites W2157901438 @default.
- W2883853180 cites W2162519285 @default.
- W2883853180 cites W2171877225 @default.
- W2883853180 cites W4252076279 @default.
- W2883853180 doi "https://doi.org/10.1017/s096012951800021x" @default.
- W2883853180 hasPublicationYear "2018" @default.
- W2883853180 type Work @default.
- W2883853180 sameAs 2883853180 @default.
- W2883853180 citedByCount "4" @default.
- W2883853180 countsByYear W28838531802019 @default.
- W2883853180 countsByYear W28838531802023 @default.
- W2883853180 crossrefType "journal-article" @default.
- W2883853180 hasAuthorship W2883853180A5004844102 @default.
- W2883853180 hasConcept C108710211 @default.
- W2883853180 hasConcept C118615104 @default.
- W2883853180 hasConcept C132525143 @default.
- W2883853180 hasConcept C17169500 @default.
- W2883853180 hasConcept C195344581 @default.
- W2883853180 hasConcept C203776342 @default.
- W2883853180 hasConcept C22149727 @default.
- W2883853180 hasConcept C2524010 @default.
- W2883853180 hasConcept C33923547 @default.
- W2883853180 hasConcept C41008148 @default.
- W2883853180 hasConcept C558772884 @default.
- W2883853180 hasConcept C64339825 @default.
- W2883853180 hasConcept C80444323 @default.
- W2883853180 hasConceptScore W2883853180C108710211 @default.
- W2883853180 hasConceptScore W2883853180C118615104 @default.
- W2883853180 hasConceptScore W2883853180C132525143 @default.
- W2883853180 hasConceptScore W2883853180C17169500 @default.
- W2883853180 hasConceptScore W2883853180C195344581 @default.
- W2883853180 hasConceptScore W2883853180C203776342 @default.
- W2883853180 hasConceptScore W2883853180C22149727 @default.
- W2883853180 hasConceptScore W2883853180C2524010 @default.
- W2883853180 hasConceptScore W2883853180C33923547 @default.
- W2883853180 hasConceptScore W2883853180C41008148 @default.
- W2883853180 hasConceptScore W2883853180C558772884 @default.
- W2883853180 hasConceptScore W2883853180C64339825 @default.
- W2883853180 hasConceptScore W2883853180C80444323 @default.
- W2883853180 hasIssue "8" @default.
- W2883853180 hasLocation W28838531801 @default.
- W2883853180 hasOpenAccess W2883853180 @default.
- W2883853180 hasPrimaryLocation W28838531801 @default.
- W2883853180 hasRelatedWork W1482385629 @default.
- W2883853180 hasRelatedWork W1496629129 @default.
- W2883853180 hasRelatedWork W1550302283 @default.
- W2883853180 hasRelatedWork W157490712 @default.
- W2883853180 hasRelatedWork W1995648733 @default.
- W2883853180 hasRelatedWork W2146404061 @default.
- W2883853180 hasRelatedWork W2162519285 @default.
- W2883853180 hasRelatedWork W2556540294 @default.
- W2883853180 hasRelatedWork W2883853180 @default.
- W2883853180 hasRelatedWork W2953826501 @default.
- W2883853180 hasVolume "28" @default.
- W2883853180 isParatext "false" @default.
- W2883853180 isRetracted "false" @default.
- W2883853180 magId "2883853180" @default.
- W2883853180 workType "article" @default.