Context-free handle-rewriting hypergraph grammars View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Bruno Courcelle , Joost Engelfriet , Grzegorz Rozenberg

ABSTRACT

Separated handle-rewriting hypergraph grammars (S-HH grammars) are introduced, where separated means that the nonterminal handles are disjoint. S-HH grammars have the same graph generating power as the vertex rewriting context-free NCE graph grammars, and as recursive systems of equations with four types of simple operations on graphs.

PAGES

253-268

References to SciGraph publications

  • 1987-12. Graph expressions and graph rewritings in MATHEMATICAL SYSTEMS THEORY
  • Book

    TITLE

    Graph Grammars and Their Application to Computer Science

    ISBN

    3-540-54478-X

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bfb0017394

    DOI

    http://dx.doi.org/10.1007/bfb0017394

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1044678295


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Pure Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mathematical Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Bordeaux", 
              "id": "https://www.grid.ac/institutes/grid.412041.2", 
              "name": [
                "LaBRI, Universit\u00e9 de Bordeaux 1, 351, Cours de la Lib\u00e9ration, 33405\u00a0Talence, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Courcelle", 
            "givenName": "Bruno", 
            "id": "sg:person.014757650331.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014757650331.18"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Engelfriet", 
            "givenName": "Joost", 
            "id": "sg:person.014574236321.39", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Rozenberg", 
            "givenName": "Grzegorz", 
            "id": "sg:person.015247703545.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/s0019-9958(67)90353-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010914398"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692060", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013326091", 
              "https://doi.org/10.1007/bf01692060"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692060", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013326091", 
              "https://doi.org/10.1007/bf01692060"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692060", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013326091", 
              "https://doi.org/10.1007/bf01692060"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0255(80)90038-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015827721"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0255(80)90038-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015827721"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(86)90050-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021871616"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(86)90050-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021871616"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(90)90043-h", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027180474"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(90)90038-j", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033751887"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(87)90102-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038921884"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(86)80045-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039025420"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(89)90030-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049234436"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1991", 
        "datePublishedReg": "1991-01-01", 
        "description": "Separated handle-rewriting hypergraph grammars (S-HH grammars) are introduced, where separated means that the nonterminal handles are disjoint. S-HH grammars have the same graph generating power as the vertex rewriting context-free NCE graph grammars, and as recursive systems of equations with four types of simple operations on graphs.", 
        "editor": [
          {
            "familyName": "Ehrig", 
            "givenName": "Hartmut", 
            "type": "Person"
          }, 
          {
            "familyName": "Kreowski", 
            "givenName": "Hans-J\u00f6rg", 
            "type": "Person"
          }, 
          {
            "familyName": "Rozenberg", 
            "givenName": "Grzegorz", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/bfb0017394", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "3-540-54478-X"
          ], 
          "name": "Graph Grammars and Their Application to Computer Science", 
          "type": "Book"
        }, 
        "name": "Context-free handle-rewriting hypergraph grammars", 
        "pagination": "253-268", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bfb0017394"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "d4d1f66408e888386614724a99657907596386b12f0749ee6adf04c08b5c60bb"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1044678295"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin/Heidelberg", 
          "name": "Springer-Verlag", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/bfb0017394", 
          "https://app.dimensions.ai/details/publication/pub.1044678295"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T14:27", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8669_00000271.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/BFb0017394"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/bfb0017394'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bfb0017394'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0017394'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0017394'


     

    This table displays all metadata directly associated to this object as RDF triples.

    119 TRIPLES      23 PREDICATES      36 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bfb0017394 schema:about anzsrc-for:01
    2 anzsrc-for:0101
    3 schema:author N31e01120d43f46d38f31d68c46519be4
    4 schema:citation sg:pub.10.1007/bf01692060
    5 https://doi.org/10.1016/0020-0255(80)90038-9
    6 https://doi.org/10.1016/0304-3975(86)90050-2
    7 https://doi.org/10.1016/0304-3975(87)90102-2
    8 https://doi.org/10.1016/0890-5401(89)90030-8
    9 https://doi.org/10.1016/0890-5401(90)90038-j
    10 https://doi.org/10.1016/0890-5401(90)90043-h
    11 https://doi.org/10.1016/s0019-9958(67)90353-1
    12 https://doi.org/10.1016/s0019-9958(86)80045-6
    13 schema:datePublished 1991
    14 schema:datePublishedReg 1991-01-01
    15 schema:description Separated handle-rewriting hypergraph grammars (S-HH grammars) are introduced, where separated means that the nonterminal handles are disjoint. S-HH grammars have the same graph generating power as the vertex rewriting context-free NCE graph grammars, and as recursive systems of equations with four types of simple operations on graphs.
    16 schema:editor N99e650383bcc4c928fbbfba3b76a88c0
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree false
    20 schema:isPartOf N6ca8610693694021b671d13f367a020a
    21 schema:name Context-free handle-rewriting hypergraph grammars
    22 schema:pagination 253-268
    23 schema:productId N1605dd47242544959e4c128cee2dac1f
    24 N234ae68201b14e76b358484f0857d561
    25 N5f420773611046f1b0867d3f1f8c0d20
    26 schema:publisher Naf760fab7b7b456ca6eaf156bb12a805
    27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044678295
    28 https://doi.org/10.1007/bfb0017394
    29 schema:sdDatePublished 2019-04-15T14:27
    30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    31 schema:sdPublisher N72d54e5b6906410f8327212d98e21db3
    32 schema:url http://link.springer.com/10.1007/BFb0017394
    33 sgo:license sg:explorer/license/
    34 sgo:sdDataset chapters
    35 rdf:type schema:Chapter
    36 N1605dd47242544959e4c128cee2dac1f schema:name dimensions_id
    37 schema:value pub.1044678295
    38 rdf:type schema:PropertyValue
    39 N234ae68201b14e76b358484f0857d561 schema:name doi
    40 schema:value 10.1007/bfb0017394
    41 rdf:type schema:PropertyValue
    42 N31e01120d43f46d38f31d68c46519be4 rdf:first sg:person.014757650331.18
    43 rdf:rest Nc88eddc059aa4f56a30f8a6374087d9d
    44 N3ad390c236944a589e99a9bcaf6f3c69 schema:familyName Rozenberg
    45 schema:givenName Grzegorz
    46 rdf:type schema:Person
    47 N5f420773611046f1b0867d3f1f8c0d20 schema:name readcube_id
    48 schema:value d4d1f66408e888386614724a99657907596386b12f0749ee6adf04c08b5c60bb
    49 rdf:type schema:PropertyValue
    50 N6ca8610693694021b671d13f367a020a schema:isbn 3-540-54478-X
    51 schema:name Graph Grammars and Their Application to Computer Science
    52 rdf:type schema:Book
    53 N72d54e5b6906410f8327212d98e21db3 schema:name Springer Nature - SN SciGraph project
    54 rdf:type schema:Organization
    55 N99e650383bcc4c928fbbfba3b76a88c0 rdf:first Nc53b0332c2c148f280441c82a17dbd67
    56 rdf:rest Ndba228441efe45caa4e980679e4de3da
    57 Naf760fab7b7b456ca6eaf156bb12a805 schema:location Berlin/Heidelberg
    58 schema:name Springer-Verlag
    59 rdf:type schema:Organisation
    60 Nb50091d528af4f6f88f107612d4b440c rdf:first N3ad390c236944a589e99a9bcaf6f3c69
    61 rdf:rest rdf:nil
    62 Nc53b0332c2c148f280441c82a17dbd67 schema:familyName Ehrig
    63 schema:givenName Hartmut
    64 rdf:type schema:Person
    65 Nc88eddc059aa4f56a30f8a6374087d9d rdf:first sg:person.014574236321.39
    66 rdf:rest Nd55e1383192d4aaa93dce04092858cbb
    67 Nd55e1383192d4aaa93dce04092858cbb rdf:first sg:person.015247703545.18
    68 rdf:rest rdf:nil
    69 Ndba228441efe45caa4e980679e4de3da rdf:first Nff71ea4ad3f149ecbf47aaa4c496ca24
    70 rdf:rest Nb50091d528af4f6f88f107612d4b440c
    71 Nff71ea4ad3f149ecbf47aaa4c496ca24 schema:familyName Kreowski
    72 schema:givenName Hans-Jörg
    73 rdf:type schema:Person
    74 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    75 schema:name Mathematical Sciences
    76 rdf:type schema:DefinedTerm
    77 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Pure Mathematics
    79 rdf:type schema:DefinedTerm
    80 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    81 schema:familyName Engelfriet
    82 schema:givenName Joost
    83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
    84 rdf:type schema:Person
    85 sg:person.014757650331.18 schema:affiliation https://www.grid.ac/institutes/grid.412041.2
    86 schema:familyName Courcelle
    87 schema:givenName Bruno
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014757650331.18
    89 rdf:type schema:Person
    90 sg:person.015247703545.18 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    91 schema:familyName Rozenberg
    92 schema:givenName Grzegorz
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18
    94 rdf:type schema:Person
    95 sg:pub.10.1007/bf01692060 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013326091
    96 https://doi.org/10.1007/bf01692060
    97 rdf:type schema:CreativeWork
    98 https://doi.org/10.1016/0020-0255(80)90038-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015827721
    99 rdf:type schema:CreativeWork
    100 https://doi.org/10.1016/0304-3975(86)90050-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021871616
    101 rdf:type schema:CreativeWork
    102 https://doi.org/10.1016/0304-3975(87)90102-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038921884
    103 rdf:type schema:CreativeWork
    104 https://doi.org/10.1016/0890-5401(89)90030-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049234436
    105 rdf:type schema:CreativeWork
    106 https://doi.org/10.1016/0890-5401(90)90038-j schema:sameAs https://app.dimensions.ai/details/publication/pub.1033751887
    107 rdf:type schema:CreativeWork
    108 https://doi.org/10.1016/0890-5401(90)90043-h schema:sameAs https://app.dimensions.ai/details/publication/pub.1027180474
    109 rdf:type schema:CreativeWork
    110 https://doi.org/10.1016/s0019-9958(67)90353-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010914398
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1016/s0019-9958(86)80045-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039025420
    113 rdf:type schema:CreativeWork
    114 https://www.grid.ac/institutes/grid.412041.2 schema:alternateName University of Bordeaux
    115 schema:name LaBRI, Université de Bordeaux 1, 351, Cours de la Libération, 33405 Talence, France
    116 rdf:type schema:Organization
    117 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
    118 schema:name Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA Leiden, The Netherlands
    119 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...