FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952802821> ?p ?o ?g. }

• W2952802821 abstract "Graph transformation systems (GTS) and constraint handling rules (CHR) are non-deterministic rule-based state transition systems. CHR is well-known for its powerful confluence and program equivalence analyses, for which we provide the basis in this work to apply them to GTS. We give a sound and complete embedding of GTS in CHR, investigate confluence of an embedded GTS, and provide a program equivalence analysis for GTS via the embedding. The results confirm the suitability of CHR-based program analyses for other formalisms embedded in CHR." @default.
• W2952802821 created "2019-06-27" @default.
• W2952802821 creator A5032517478 @default.
• W2952802821 creator A5073525073 @default.
• W2952802821 date "2010-06-08" @default.
• W2952802821 modified "2023-09-27" @default.
• W2952802821 title "Analyzing Graph Transformation Systems through Constraint Handling Rules" @default.
• W2952802821 cites W1480740341 @default.
• W2952802821 cites W1487960098 @default.
• W2952802821 cites W1488160191 @default.
• W2952802821 cites W1501947878 @default.
• W2952802821 cites W1502748188 @default.
• W2952802821 cites W1530533101 @default.
• W2952802821 cites W1533863408 @default.
• W2952802821 cites W1548957673 @default.
• W2952802821 cites W1556786566 @default.
• W2952802821 cites W1583295953 @default.
• W2952802821 cites W1591933322 @default.
• W2952802821 cites W16873399 @default.
• W2952802821 cites W172429576 @default.
• W2952802821 cites W1841342726 @default.
• W2952802821 cites W1893229108 @default.
• W2952802821 cites W1979101142 @default.
• W2952802821 cites W1992928849 @default.
• W2952802821 cites W1997697966 @default.
• W2952802821 cites W2127455123 @default.
• W2952802821 cites W2129638526 @default.
• W2952802821 cites W2159901860 @default.
• W2952802821 cites W2164208322 @default.
• W2952802821 cites W2176283065 @default.
• W2952802821 cites W2345038845 @default.
• W2952802821 cites W2570710533 @default.
• W2952802821 cites W2953354833 @default.
• W2952802821 cites W3017326420 @default.
• W2952802821 cites W1837415053 @default.
• W2952802821 cites W205117472 @default.
• W2952802821 cites W2525531152 @default.
• W2952802821 cites W3010796850 @default.
• W2952802821 hasPublicationYear "2010" @default.
• W2952802821 type Work @default.
• W2952802821 sameAs 2952802821 @default.
• W2952802821 citedByCount "0" @default.
• W2952802821 crossrefType "posted-content" @default.
• W2952802821 hasAuthorship W2952802821A5032517478 @default.
• W2952802821 hasAuthorship W2952802821A5073525073 @default.
• W2952802821 hasConcept C104317684 @default.
• W2952802821 hasConcept C118615104 @default.
• W2952802821 hasConcept C132525143 @default.
• W2952802821 hasConcept C154945302 @default.
• W2952802821 hasConcept C171018156 @default.
• W2952802821 hasConcept C185592680 @default.
• W2952802821 hasConcept C199360897 @default.
• W2952802821 hasConcept C204241405 @default.
• W2952802821 hasConcept C2524010 @default.
• W2952802821 hasConcept C2776036281 @default.
• W2952802821 hasConcept C2778361913 @default.
• W2952802821 hasConcept C2779167558 @default.
• W2952802821 hasConcept C2780069185 @default.
• W2952802821 hasConcept C33923547 @default.
• W2952802821 hasConcept C41008148 @default.
• W2952802821 hasConcept C41608201 @default.
• W2952802821 hasConcept C55493867 @default.
• W2952802821 hasConcept C558772884 @default.
• W2952802821 hasConcept C77906462 @default.
• W2952802821 hasConcept C80444323 @default.
• W2952802821 hasConceptScore W2952802821C104317684 @default.
• W2952802821 hasConceptScore W2952802821C118615104 @default.
• W2952802821 hasConceptScore W2952802821C132525143 @default.
• W2952802821 hasConceptScore W2952802821C154945302 @default.
• W2952802821 hasConceptScore W2952802821C171018156 @default.
• W2952802821 hasConceptScore W2952802821C185592680 @default.
• W2952802821 hasConceptScore W2952802821C199360897 @default.
• W2952802821 hasConceptScore W2952802821C204241405 @default.
• W2952802821 hasConceptScore W2952802821C2524010 @default.
• W2952802821 hasConceptScore W2952802821C2776036281 @default.
• W2952802821 hasConceptScore W2952802821C2778361913 @default.
• W2952802821 hasConceptScore W2952802821C2779167558 @default.
• W2952802821 hasConceptScore W2952802821C2780069185 @default.
• W2952802821 hasConceptScore W2952802821C33923547 @default.
• W2952802821 hasConceptScore W2952802821C41008148 @default.
• W2952802821 hasConceptScore W2952802821C41608201 @default.
• W2952802821 hasConceptScore W2952802821C55493867 @default.
• W2952802821 hasConceptScore W2952802821C558772884 @default.
• W2952802821 hasConceptScore W2952802821C77906462 @default.
• W2952802821 hasConceptScore W2952802821C80444323 @default.
• W2952802821 hasLocation W29528028211 @default.
• W2952802821 hasOpenAccess W2952802821 @default.
• W2952802821 hasPrimaryLocation W29528028211 @default.
• W2952802821 hasRelatedWork W148357932 @default.
• W2952802821 hasRelatedWork W1554599106 @default.
• W2952802821 hasRelatedWork W1570314198 @default.
• W2952802821 hasRelatedWork W157490712 @default.
• W2952802821 hasRelatedWork W1597906851 @default.
• W2952802821 hasRelatedWork W198926601 @default.
• W2952802821 hasRelatedWork W2028884783 @default.
• W2952802821 hasRelatedWork W2039091857 @default.
• W2952802821 hasRelatedWork W2040657499 @default.
• W2952802821 hasRelatedWork W2146571888 @default.
• W2952802821 hasRelatedWork W2188226105 @default.
• W2952802821 hasRelatedWork W2484713539 @default.

• next