On the interleaving semantics of transformation units — A step into GRACE (Q4645269): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(7 intermediate revisions by 4 users not shown)
Property / cites work
 
Property / cites work: Q4191616 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4040325 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3751030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. ''Under the auspices of the European Association for Theoretical Computer Science'' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyperedge replacement: grammars and languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4890712 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037295 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of node-label-controlled graph languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4284229 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On structured graph grammars. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing with graph rewriting systems with priorities / 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: Q4037329 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3666286 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4694717 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222818 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3326832 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: DACTL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: AGG / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GraphEd / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: DIEGO / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/3-540-61228-9_81 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1522538549 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 20:33, 17 July 2024

scientific article; zbMATH DE number 6999572
Language Label Description Also known as
English
On the interleaving semantics of transformation units — A step into GRACE
scientific article; zbMATH DE number 6999572

    Statements

    On the interleaving semantics of transformation units — A step into GRACE (English)
    0 references
    0 references
    0 references
    10 January 2019
    0 references
    0 references
    binary relation
    0 references
    transformation unit
    0 references
    regular expression
    0 references
    transitive closure
    0 references
    graph transformation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references