Strategic port graph rewriting: an interactive modelling framework (Q4629264): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Bots
7,026,401 edits
‎Created a new Item
 
ReferenceBot (talk | contribs)
Bots
1,605,662 edits
‎Changed an Item
 
(16 intermediate revisions by 4 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Haskell / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: ELAN / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Tulip / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PMaude / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GROOVE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: MOSBIE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PORGY / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Stratego / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PSMaude / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: visone / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: RuleBender / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Tom / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: AGG / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1407.7929 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4964704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Rewriting Calculus for Multigraphs with Ports / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Higher-Order Graph Calculus for Autonomic Computing / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus, its syntax and semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4447223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4808751 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Pullback-Pushout Approach to Algebraic Graph Transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2957506 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rule-Based Modelling of Cellular Signalling / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal molecular biology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3962450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Graph Grammars and Computing by Graph Transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Labelled graph strategic rewriting for social networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4494368 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2728869 / rank
 
Normal rank
Property / cites work
 
Property / cites work: GrGen: A Fast SPO-Based Graph Rewriting Tool / rank
 
Normal rank
Property / cites work
 
Property / cites work: Double-pushout graph transformation revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2769432 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4414308 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic Inductive Classes of Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On ``On graph rewritings'' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086785 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic Graph Transformation Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4808763 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic approach to single-pushout graph transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph Rewriting in Span-Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2849587 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Rewriting Semantics for Maude Strategies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4508308 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structural approach to operational semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Graph Programming Language GP / rank
 
Normal rank
Property / cites work
 
Property / cites work: On graph rewritings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4799892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Algorithm for Subgraph Isomorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of strategies in rule-based program transformation systems / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 20:51, 18 July 2024

scientific article; zbMATH DE number 7039870
Language Label Description Also known as
English
Strategic port graph rewriting: an interactive modelling framework
scientific article; zbMATH DE number 7039870

    Statements

    title
    Strategic port graph rewriting: an interactive modelling framework (English)
    0 references
    author
    Maribel Fernández
    0 references
    Hélène Kirchner
    0 references
    Bruno Pinaud
    0 references
    publication date
    21 March 2019
    0 references
    zbMATH DE Number
    7039870
    0 references
    describes a project that uses
    Haskell
    0 references
    ELAN
    0 references
    Tulip
    0 references
    PMaude
    0 references
    GROOVE
    0 references
    MOSBIE
    0 references
    PORGY
    0 references
    Stratego
    0 references
    PSMaude
    0 references
    visone
    0 references
    RuleBender
    0 references
    Tom
    0 references
    AGG
    0 references
    arXiv ID
    1407.7929
    0 references
    cites work
    Q4964704
    0 references
    Q4447223
    0 references
    Q4808751
    0 references
    Q4385531
    0 references
    Q2957506
    0 references
    Q3962450
    0 references
    Q4494368
    0 references
    Q2728869
    0 references
    Q2769432
    0 references
    Q4414308
    0 references
    Q3086785
    0 references
    Q4808763
    0 references
    Q2849587
    0 references
    Q4508308
    0 references
    Q4023829
    0 references
    On graph rewritings
    0 references
    Q4799892
    0 references
    Q2778890
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4629264&oldid=36481996"
    Powered by MediaWiki