Characterization of high level tree transducers View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2005-06-07

AUTHORS

Joost Engelfriet , Heiko Vogler

ABSTRACT

N/A

PAGES

171-178

References to SciGraph publications

  • 1982. An automata-theoretic characterization of the OI-hierarchy in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1975-06. Bottom-up and top-down tree transformations— a comparison in MATHEMATICAL SYSTEMS THEORY
  • 1981-11. The formal power of one-visit attribute grammars in ACTA INFORMATICA
  • 1974. Notes on pre-set pushdown automata in L SYSTEMS
  • 1983-12. Pushdown tree automata in MATHEMATICAL SYSTEMS THEORY
  • 1970-09. Mappings and grammars on trees in MATHEMATICAL SYSTEMS THEORY
  • 1972-12. Proof of correctness of data representations in ACTA INFORMATICA
  • 1968-06. Semantics of context-free languages in MATHEMATICAL SYSTEMS THEORY
  • 1975. An algebraic formulation of the Chomsky hierarchy in CATEGORY THEORY APPLIED TO COMPUTATION AND CONTROL
  • 1979-12. An order-algebraic definition of knuthian semantics in MATHEMATICAL SYSTEMS THEORY
  • Book

    TITLE

    Automata, Languages and Programming

    ISBN

    3-540-15650-X

    Author Affiliations

    Identifiers

    URI

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

    DOI

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

    DIMENSIONS

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


    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", 
        "author": [
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "University of Leiden, P.O.Box 9512, 2300 RA, Leiden, 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": [
                "University of Leiden, P.O.Box 9512, 2300 RA, Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Vogler", 
            "givenName": "Heiko", 
            "id": "sg:person.014562633673.93", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/0304-3975(82)90009-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003269055"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01704020", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006876172", 
              "https://doi.org/10.1007/bf01704020"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01704020", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006876172", 
              "https://doi.org/10.1007/bf01704020"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01704020", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006876172", 
              "https://doi.org/10.1007/bf01704020"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/800061.808767", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009917201"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(74)80031-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011995120"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(77)80034-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012047310"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(82)90003-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012802714"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00289307", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013741389", 
              "https://doi.org/10.1007/bf00289307"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00289307", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013741389", 
              "https://doi.org/10.1007/bf00289307"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(70)80017-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022950527"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-07142-3_84", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024578216", 
              "https://doi.org/10.1007/3-540-07142-3_84"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025480202", 
              "https://doi.org/10.1007/bf01692511"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025480202", 
              "https://doi.org/10.1007/bf01692511"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01692511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025480202", 
              "https://doi.org/10.1007/bf01692511"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00289507", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028933316", 
              "https://doi.org/10.1007/bf00289507"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00289507", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028933316", 
              "https://doi.org/10.1007/bf00289507"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012764", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029171011", 
              "https://doi.org/10.1007/bfb0012764"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744285", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029656491", 
              "https://doi.org/10.1007/bf01744285"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744285", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029656491", 
              "https://doi.org/10.1007/bf01744285"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01695769", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033919759", 
              "https://doi.org/10.1007/bf01695769"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01695769", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033919759", 
              "https://doi.org/10.1007/bf01695769"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01695769", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033919759", 
              "https://doi.org/10.1007/bf01695769"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(70)80039-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034818566"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(70)80039-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034818566"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-12-115350-2.50014-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034871415"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-06867-8_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035951250", 
              "https://doi.org/10.1007/3-540-06867-8_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744582", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043048838", 
              "https://doi.org/10.1007/bf01744582"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744582", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043048838", 
              "https://doi.org/10.1007/bf01744582"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(71)90706-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046403722"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/800161.805158", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049916641"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2005-06-07", 
        "datePublishedReg": "2005-06-07", 
        "editor": [
          {
            "familyName": "Brauer", 
            "givenName": "Wilfried", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/bfb0015742", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "3-540-15650-X"
          ], 
          "name": "Automata, Languages and Programming", 
          "type": "Book"
        }, 
        "name": "Characterization of high level tree transducers", 
        "pagination": "171-178", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1006754854"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bfb0015742"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "202cd5e590e545e76ddb5ab6bb53e3fa8555f2e1df6887af9a4fe0836c2a8f5f"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin/Heidelberg", 
          "name": "Springer-Verlag", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/bfb0015742", 
          "https://app.dimensions.ai/details/publication/pub.1006754854"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T09:34", 
        "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/0000000373_0000000373/records_13078_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2FBFb0015742"
      }
    ]
     

    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/bfb0015742'

    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/bfb0015742'

    Turtle is a human-readable linked data format.

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

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

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


     

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

    132 TRIPLES      21 PREDICATES      43 URIs      18 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bfb0015742 schema:author Nbaea3bd494a94984abbcb000455964b0
    2 schema:citation sg:pub.10.1007/3-540-06867-8_14
    3 sg:pub.10.1007/3-540-07142-3_84
    4 sg:pub.10.1007/bf00289307
    5 sg:pub.10.1007/bf00289507
    6 sg:pub.10.1007/bf01692511
    7 sg:pub.10.1007/bf01695769
    8 sg:pub.10.1007/bf01704020
    9 sg:pub.10.1007/bf01744285
    10 sg:pub.10.1007/bf01744582
    11 sg:pub.10.1007/bfb0012764
    12 https://doi.org/10.1016/0304-3975(82)90003-2
    13 https://doi.org/10.1016/0304-3975(82)90009-3
    14 https://doi.org/10.1016/b978-0-12-115350-2.50014-2
    15 https://doi.org/10.1016/s0019-9958(70)80039-0
    16 https://doi.org/10.1016/s0019-9958(71)90706-6
    17 https://doi.org/10.1016/s0022-0000(70)80017-4
    18 https://doi.org/10.1016/s0022-0000(74)80031-0
    19 https://doi.org/10.1016/s0022-0000(77)80034-2
    20 https://doi.org/10.1145/800061.808767
    21 https://doi.org/10.1145/800161.805158
    22 schema:datePublished 2005-06-07
    23 schema:datePublishedReg 2005-06-07
    24 schema:editor N7a547793711a4009bdf43d32761036a4
    25 schema:genre chapter
    26 schema:inLanguage en
    27 schema:isAccessibleForFree false
    28 schema:isPartOf N321573c41fee46c384b6263a91412042
    29 schema:name Characterization of high level tree transducers
    30 schema:pagination 171-178
    31 schema:productId N5dbfb189a35b49b08da2c4c47c4340ca
    32 N664dd37d621d4805a7c6d50a74aa45a3
    33 N99bc52bad2f148238001c3a483ae14f1
    34 schema:publisher N6032861c91a545e0807329b6c5c1c9c2
    35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006754854
    36 https://doi.org/10.1007/bfb0015742
    37 schema:sdDatePublished 2019-04-16T09:34
    38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    39 schema:sdPublisher Nfafabec45eb94db881597e44d629d1a8
    40 schema:url https://link.springer.com/10.1007%2FBFb0015742
    41 sgo:license sg:explorer/license/
    42 sgo:sdDataset chapters
    43 rdf:type schema:Chapter
    44 N0ae27f3fd2ab4d1a99f8be0caa2b8264 rdf:first sg:person.014562633673.93
    45 rdf:rest rdf:nil
    46 N321573c41fee46c384b6263a91412042 schema:isbn 3-540-15650-X
    47 schema:name Automata, Languages and Programming
    48 rdf:type schema:Book
    49 N5dbfb189a35b49b08da2c4c47c4340ca schema:name dimensions_id
    50 schema:value pub.1006754854
    51 rdf:type schema:PropertyValue
    52 N6032861c91a545e0807329b6c5c1c9c2 schema:location Berlin/Heidelberg
    53 schema:name Springer-Verlag
    54 rdf:type schema:Organisation
    55 N664dd37d621d4805a7c6d50a74aa45a3 schema:name readcube_id
    56 schema:value 202cd5e590e545e76ddb5ab6bb53e3fa8555f2e1df6887af9a4fe0836c2a8f5f
    57 rdf:type schema:PropertyValue
    58 N7a547793711a4009bdf43d32761036a4 rdf:first Nedcc56d95c7440658bd7e3b28a56ff46
    59 rdf:rest rdf:nil
    60 N99bc52bad2f148238001c3a483ae14f1 schema:name doi
    61 schema:value 10.1007/bfb0015742
    62 rdf:type schema:PropertyValue
    63 Nbaea3bd494a94984abbcb000455964b0 rdf:first sg:person.014574236321.39
    64 rdf:rest N0ae27f3fd2ab4d1a99f8be0caa2b8264
    65 Nedcc56d95c7440658bd7e3b28a56ff46 schema:familyName Brauer
    66 schema:givenName Wilfried
    67 rdf:type schema:Person
    68 Nfafabec45eb94db881597e44d629d1a8 schema:name Springer Nature - SN SciGraph project
    69 rdf:type schema:Organization
    70 sg:person.014562633673.93 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    71 schema:familyName Vogler
    72 schema:givenName Heiko
    73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93
    74 rdf:type schema:Person
    75 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    76 schema:familyName Engelfriet
    77 schema:givenName Joost
    78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
    79 rdf:type schema:Person
    80 sg:pub.10.1007/3-540-06867-8_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035951250
    81 https://doi.org/10.1007/3-540-06867-8_14
    82 rdf:type schema:CreativeWork
    83 sg:pub.10.1007/3-540-07142-3_84 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024578216
    84 https://doi.org/10.1007/3-540-07142-3_84
    85 rdf:type schema:CreativeWork
    86 sg:pub.10.1007/bf00289307 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013741389
    87 https://doi.org/10.1007/bf00289307
    88 rdf:type schema:CreativeWork
    89 sg:pub.10.1007/bf00289507 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028933316
    90 https://doi.org/10.1007/bf00289507
    91 rdf:type schema:CreativeWork
    92 sg:pub.10.1007/bf01692511 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025480202
    93 https://doi.org/10.1007/bf01692511
    94 rdf:type schema:CreativeWork
    95 sg:pub.10.1007/bf01695769 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033919759
    96 https://doi.org/10.1007/bf01695769
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/bf01704020 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006876172
    99 https://doi.org/10.1007/bf01704020
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/bf01744285 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029656491
    102 https://doi.org/10.1007/bf01744285
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/bf01744582 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043048838
    105 https://doi.org/10.1007/bf01744582
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/bfb0012764 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029171011
    108 https://doi.org/10.1007/bfb0012764
    109 rdf:type schema:CreativeWork
    110 https://doi.org/10.1016/0304-3975(82)90003-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012802714
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1016/0304-3975(82)90009-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003269055
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1016/b978-0-12-115350-2.50014-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034871415
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1016/s0019-9958(70)80039-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034818566
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1016/s0019-9958(71)90706-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046403722
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1016/s0022-0000(70)80017-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022950527
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1016/s0022-0000(74)80031-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011995120
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1016/s0022-0000(77)80034-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012047310
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1145/800061.808767 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009917201
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1145/800161.805158 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049916641
    129 rdf:type schema:CreativeWork
    130 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
    131 schema:name University of Leiden, P.O.Box 9512, 2300 RA, Leiden, The Netherlands
    132 rdf:type schema:Organization
     




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


    ...