Characterizing and Deciding MSO-Definability of Macro Tree Transductions View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2000

AUTHORS

Joost Engelfriet , Sebastian Maneth

ABSTRACT

A macro tree transduction is MSO definable if and only if it is of linear size increase. Furthermore, it is decidable for a macro tree transduction whether or not it is MSO definable.

PAGES

542-554

References to SciGraph publications

Book

TITLE

STACS 2000

ISBN

978-3-540-67141-1
978-3-540-46541-6

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-46541-3_45

DOI

http://dx.doi.org/10.1007/3-540-46541-3_45

DIMENSIONS

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


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": [
            "LIACS, Leiden University, PO 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": [
            "LIACS, Leiden University, PO Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Maneth", 
        "givenName": "Sebastian", 
        "id": "sg:person.016240662443.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016240662443.33"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0304-3975(94)90268-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007706893"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1999.2807", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010394805"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(85)90066-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012161455"
        ], 
        "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/bfb0017482", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022981623", 
          "https://doi.org/10.1007/bfb0017482"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1998.2715", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023065658"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(80)90058-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028307536"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1995.1020", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037526453"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0019-9958(71)90706-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046403722"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2000", 
    "datePublishedReg": "2000-01-01", 
    "description": "A macro tree transduction is MSO definable if and only if it is of linear size increase. Furthermore, it is decidable for a macro tree transduction whether or not it is MSO definable.", 
    "editor": [
      {
        "familyName": "Reichel", 
        "givenName": "Horst", 
        "type": "Person"
      }, 
      {
        "familyName": "Tison", 
        "givenName": "Sophie", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-46541-3_45", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-67141-1", 
        "978-3-540-46541-6"
      ], 
      "name": "STACS 2000", 
      "type": "Book"
    }, 
    "name": "Characterizing and Deciding MSO-Definability of Macro Tree Transductions", 
    "pagination": "542-554", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-46541-3_45"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "8419a03a08e4880644395f11e161752418f7400e4ea8ad4d51bccbac3e358912"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1027730130"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-46541-3_45", 
      "https://app.dimensions.ai/details/publication/pub.1027730130"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T16:17", 
    "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_8675_00000260.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-46541-3_45"
  }
]
 

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/3-540-46541-3_45'

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/3-540-46541-3_45'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-46541-3_45'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-46541-3_45'


 

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

97 TRIPLES      22 PREDICATES      34 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-46541-3_45 schema:author N769e514bfd894b64aa931c8338042f0e
2 schema:citation sg:pub.10.1007/bfb0017482
3 https://doi.org/10.1006/inco.1995.1020
4 https://doi.org/10.1006/inco.1998.2715
5 https://doi.org/10.1006/inco.1999.2807
6 https://doi.org/10.1016/0022-0000(80)90058-6
7 https://doi.org/10.1016/0022-0000(85)90066-2
8 https://doi.org/10.1016/0304-3975(82)90003-2
9 https://doi.org/10.1016/0304-3975(94)90268-2
10 https://doi.org/10.1016/s0019-9958(71)90706-6
11 schema:datePublished 2000
12 schema:datePublishedReg 2000-01-01
13 schema:description A macro tree transduction is MSO definable if and only if it is of linear size increase. Furthermore, it is decidable for a macro tree transduction whether or not it is MSO definable.
14 schema:editor N69089c3138d34b0b8cda7bb9d0d23fdb
15 schema:genre chapter
16 schema:inLanguage en
17 schema:isAccessibleForFree true
18 schema:isPartOf N3e0f8ed7151249fa8d7c00a94c7392fb
19 schema:name Characterizing and Deciding MSO-Definability of Macro Tree Transductions
20 schema:pagination 542-554
21 schema:productId N06baba1d3a1449a494f1723aa163f2b4
22 N59bca6be0cee4cbdbb603bf35efb024e
23 Nba76b7d1bcaa478ba93f348f50000561
24 schema:publisher Nd6e09d381f2a415b8ca528a786938833
25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027730130
26 https://doi.org/10.1007/3-540-46541-3_45
27 schema:sdDatePublished 2019-04-15T16:17
28 schema:sdLicense https://scigraph.springernature.com/explorer/license/
29 schema:sdPublisher Ne0b91e8a2c96437a9f97fc4d5801197d
30 schema:url http://link.springer.com/10.1007/3-540-46541-3_45
31 sgo:license sg:explorer/license/
32 sgo:sdDataset chapters
33 rdf:type schema:Chapter
34 N06baba1d3a1449a494f1723aa163f2b4 schema:name doi
35 schema:value 10.1007/3-540-46541-3_45
36 rdf:type schema:PropertyValue
37 N0963e5e9fb04443e86ce4206e151d155 rdf:first sg:person.016240662443.33
38 rdf:rest rdf:nil
39 N3e0f8ed7151249fa8d7c00a94c7392fb schema:isbn 978-3-540-46541-6
40 978-3-540-67141-1
41 schema:name STACS 2000
42 rdf:type schema:Book
43 N562a1297f4e949108110e88d04528dd5 schema:familyName Tison
44 schema:givenName Sophie
45 rdf:type schema:Person
46 N59bca6be0cee4cbdbb603bf35efb024e schema:name dimensions_id
47 schema:value pub.1027730130
48 rdf:type schema:PropertyValue
49 N69089c3138d34b0b8cda7bb9d0d23fdb rdf:first Ncf56acc7bb9544d9b76c864714f59301
50 rdf:rest N6c1d4f185dd44b5bb7e4d83bc00b92cb
51 N6c1d4f185dd44b5bb7e4d83bc00b92cb rdf:first N562a1297f4e949108110e88d04528dd5
52 rdf:rest rdf:nil
53 N769e514bfd894b64aa931c8338042f0e rdf:first sg:person.014574236321.39
54 rdf:rest N0963e5e9fb04443e86ce4206e151d155
55 Nba76b7d1bcaa478ba93f348f50000561 schema:name readcube_id
56 schema:value 8419a03a08e4880644395f11e161752418f7400e4ea8ad4d51bccbac3e358912
57 rdf:type schema:PropertyValue
58 Ncf56acc7bb9544d9b76c864714f59301 schema:familyName Reichel
59 schema:givenName Horst
60 rdf:type schema:Person
61 Nd6e09d381f2a415b8ca528a786938833 schema:location Berlin, Heidelberg
62 schema:name Springer Berlin Heidelberg
63 rdf:type schema:Organisation
64 Ne0b91e8a2c96437a9f97fc4d5801197d schema:name Springer Nature - SN SciGraph project
65 rdf:type schema:Organization
66 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
67 schema:familyName Engelfriet
68 schema:givenName Joost
69 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
70 rdf:type schema:Person
71 sg:person.016240662443.33 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
72 schema:familyName Maneth
73 schema:givenName Sebastian
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016240662443.33
75 rdf:type schema:Person
76 sg:pub.10.1007/bfb0017482 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022981623
77 https://doi.org/10.1007/bfb0017482
78 rdf:type schema:CreativeWork
79 https://doi.org/10.1006/inco.1995.1020 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037526453
80 rdf:type schema:CreativeWork
81 https://doi.org/10.1006/inco.1998.2715 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023065658
82 rdf:type schema:CreativeWork
83 https://doi.org/10.1006/inco.1999.2807 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010394805
84 rdf:type schema:CreativeWork
85 https://doi.org/10.1016/0022-0000(80)90058-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028307536
86 rdf:type schema:CreativeWork
87 https://doi.org/10.1016/0022-0000(85)90066-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012161455
88 rdf:type schema:CreativeWork
89 https://doi.org/10.1016/0304-3975(82)90003-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012802714
90 rdf:type schema:CreativeWork
91 https://doi.org/10.1016/0304-3975(94)90268-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007706893
92 rdf:type schema:CreativeWork
93 https://doi.org/10.1016/s0019-9958(71)90706-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046403722
94 rdf:type schema:CreativeWork
95 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
96 schema:name LIACS, Leiden University, PO Box 9512, 2300 RA Leiden, The Netherlands
97 rdf:type schema:Organization
 




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


...