Determinacy and Rewriting of Top-Down and MSO Tree Transformations View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Michael Benedikt , Joost Engelfriet , Sebastian Maneth

ABSTRACT

A query is determined by a view, if the result to the query can be reconstructed from the result of the view. We consider the problem of deciding for two given tree transformations, whether one is determined by the other. If the view transformation is induced by a tree transducer that may copy, then determinacy is undecidable, even for identity queries. For a large class of non-copying views, namely compositions of functional extended linear top-down tree transducers with regular look-ahead, we show that determinacy is decidable, where queries are given by deterministic top-down tree transducers with regular look-ahead or by MSO tree transducers. We also show that if a query is determined, then it can be rewritten into a query that works directly over the view and is in the same class as the given query. The proof relies on the decidability of equivalence for the two considered classes of queries, and on their closure under composition. More... »

PAGES

146-158

References to SciGraph publications

  • 1975-06. Bottom-up and top-down tree transformations— a comparison in MATHEMATICAL SYSTEMS THEORY
  • 1976-12. Top-down tree transducers with regular look-ahead in MATHEMATICAL SYSTEMS THEORY
  • 1983-12. A note on finite-valued and finitely ambiguous transducers in MATHEMATICAL SYSTEMS THEORY
  • 2013. Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2009-12. Extended multi bottom–up tree transducers in ACTA INFORMATICA
  • 2012. Streaming Tree Transducers in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2013. Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers in DEVELOPMENTS IN LANGUAGE THEORY
  • 1994-07. Equivalence of finite-valued tree transducers is decidable in MATHEMATICAL SYSTEMS THEORY
  • Book

    TITLE

    Mathematical Foundations of Computer Science 2013

    ISBN

    978-3-642-40312-5
    978-3-642-40313-2

    From Grant

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-40313-2_15

    DOI

    http://dx.doi.org/10.1007/978-3-642-40313-2_15

    DIMENSIONS

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


    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/0607", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Plant Biology", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/06", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Biological Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Oxford", 
              "id": "https://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "University of Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Benedikt", 
            "givenName": "Michael", 
            "id": "sg:person.015351565275.00", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015351565275.00"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "LIACS, Leiden University, 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": "University of Oxford", 
              "id": "https://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "University of Oxford, UK"
              ], 
              "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/j.ipl.2006.05.015", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002065362"
            ], 
            "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": "sg:pub.10.1007/bf01744569", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010280672", 
              "https://doi.org/10.1007/bf01744569"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744569", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010280672", 
              "https://doi.org/10.1007/bf01744569"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1999.2807", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010394805"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38771-5_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010668532", 
              "https://doi.org/10.1007/978-3-642-38771-5_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01683280", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014989626", 
              "https://doi.org/10.1007/bf01683280"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01683280", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014989626", 
              "https://doi.org/10.1007/bf01683280"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2010.12.031", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016050446"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1065167.1065174", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016993104"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-31585-5_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017902924", 
              "https://doi.org/10.1007/978-3-642-31585-5_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-009-0105-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018952087", 
              "https://doi.org/10.1007/s00236-009-0105-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-009-0105-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018952087", 
              "https://doi.org/10.1007/s00236-009-0105-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-009-0105-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018952087", 
              "https://doi.org/10.1007/s00236-009-0105-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0190(78)90060-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022766706"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1938551.1938580", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023208181"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0190(93)90143-w", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025613411"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2008.03.019", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026415177"
            ], 
            "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.1016/j.ipl.2003.05.001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028702132"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1806907.1806913", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035174482"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(92)90281-j", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036884396"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1999.1684", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038794477"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2014.07.003", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043321850"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-37064-9_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044818631", 
              "https://doi.org/10.1007/978-3-642-37064-9_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jcss.2009.01.001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048971550"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01192143", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049216935", 
              "https://doi.org/10.1007/bf01192143"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01192143", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049216935", 
              "https://doi.org/10.1007/bf01192143"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/070699160", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062851455"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/s0097539701394511", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062879323"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013", 
        "datePublishedReg": "2013-01-01", 
        "description": "A query is determined by a view, if the result to the query can be reconstructed from the result of the view. We consider the problem of deciding for two given tree transformations, whether one is determined by the other. If the view transformation is induced by a tree transducer that may copy, then determinacy is undecidable, even for identity queries. For a large class of non-copying views, namely compositions of functional extended linear top-down tree transducers with regular look-ahead, we show that determinacy is decidable, where queries are given by deterministic top-down tree transducers with regular look-ahead or by MSO tree transducers. We also show that if a query is determined, then it can be rewritten into a query that works directly over the view and is in the same class as the given query. The proof relies on the decidability of equivalence for the two considered classes of queries, and on their closure under composition.", 
        "editor": [
          {
            "familyName": "Chatterjee", 
            "givenName": "Krishnendu", 
            "type": "Person"
          }, 
          {
            "familyName": "Sgall", 
            "givenName": "Jir\u00ed", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-40313-2_15", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.2777616", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": {
          "isbn": [
            "978-3-642-40312-5", 
            "978-3-642-40313-2"
          ], 
          "name": "Mathematical Foundations of Computer Science 2013", 
          "type": "Book"
        }, 
        "name": "Determinacy and Rewriting of Top-Down and MSO Tree Transformations", 
        "pagination": "146-158", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-40313-2_15"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "32191366b2c2ac36bde28351f682113218800cfff2e8ae473591ad2a437181cd"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1010515841"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-40313-2_15", 
          "https://app.dimensions.ai/details/publication/pub.1010515841"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T13:26", 
        "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_8664_00000249.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-40313-2_15"
      }
    ]
     

    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/978-3-642-40313-2_15'

    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/978-3-642-40313-2_15'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-40313-2_15'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-40313-2_15'


     

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

    172 TRIPLES      23 PREDICATES      52 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-40313-2_15 schema:about anzsrc-for:06
    2 anzsrc-for:0607
    3 schema:author N275f42223a124ca498faae25462cdadd
    4 schema:citation sg:pub.10.1007/978-3-642-31585-5_8
    5 sg:pub.10.1007/978-3-642-37064-9_30
    6 sg:pub.10.1007/978-3-642-38771-5_22
    7 sg:pub.10.1007/bf01192143
    8 sg:pub.10.1007/bf01683280
    9 sg:pub.10.1007/bf01704020
    10 sg:pub.10.1007/bf01744569
    11 sg:pub.10.1007/s00236-009-0105-8
    12 https://doi.org/10.1006/inco.1999.2807
    13 https://doi.org/10.1006/jcss.1999.1684
    14 https://doi.org/10.1016/0020-0190(78)90060-1
    15 https://doi.org/10.1016/0020-0190(93)90143-w
    16 https://doi.org/10.1016/0022-0000(80)90058-6
    17 https://doi.org/10.1016/0304-3975(92)90281-j
    18 https://doi.org/10.1016/j.ic.2008.03.019
    19 https://doi.org/10.1016/j.ic.2014.07.003
    20 https://doi.org/10.1016/j.ipl.2003.05.001
    21 https://doi.org/10.1016/j.ipl.2006.05.015
    22 https://doi.org/10.1016/j.jcss.2009.01.001
    23 https://doi.org/10.1016/j.tcs.2010.12.031
    24 https://doi.org/10.1137/070699160
    25 https://doi.org/10.1137/s0097539701394511
    26 https://doi.org/10.1145/1065167.1065174
    27 https://doi.org/10.1145/1806907.1806913
    28 https://doi.org/10.1145/1938551.1938580
    29 schema:datePublished 2013
    30 schema:datePublishedReg 2013-01-01
    31 schema:description A query is determined by a view, if the result to the query can be reconstructed from the result of the view. We consider the problem of deciding for two given tree transformations, whether one is determined by the other. If the view transformation is induced by a tree transducer that may copy, then determinacy is undecidable, even for identity queries. For a large class of non-copying views, namely compositions of functional extended linear top-down tree transducers with regular look-ahead, we show that determinacy is decidable, where queries are given by deterministic top-down tree transducers with regular look-ahead or by MSO tree transducers. We also show that if a query is determined, then it can be rewritten into a query that works directly over the view and is in the same class as the given query. The proof relies on the decidability of equivalence for the two considered classes of queries, and on their closure under composition.
    32 schema:editor Na383782d12794b2687897597262448a1
    33 schema:genre chapter
    34 schema:inLanguage en
    35 schema:isAccessibleForFree false
    36 schema:isPartOf N8863e2a63e3c47fda5c2ceb919e6af68
    37 schema:name Determinacy and Rewriting of Top-Down and MSO Tree Transformations
    38 schema:pagination 146-158
    39 schema:productId N17d640c10a884c338fce1eb5076c6c9d
    40 N6e9a879c609b4b7386de57d012041063
    41 Ne73c95d41bf34dda95f147f0250b5016
    42 schema:publisher N0442d3f9e5c4460f9d94b4545c58a4f2
    43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010515841
    44 https://doi.org/10.1007/978-3-642-40313-2_15
    45 schema:sdDatePublished 2019-04-15T13:26
    46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    47 schema:sdPublisher Naa51a2f6af9c490a9a64a566749769d4
    48 schema:url http://link.springer.com/10.1007/978-3-642-40313-2_15
    49 sgo:license sg:explorer/license/
    50 sgo:sdDataset chapters
    51 rdf:type schema:Chapter
    52 N0442d3f9e5c4460f9d94b4545c58a4f2 schema:location Berlin, Heidelberg
    53 schema:name Springer Berlin Heidelberg
    54 rdf:type schema:Organisation
    55 N0ac208a5f8604c8fb86232fd9509d8c0 rdf:first N41ad65334cfa4fffa5a2180c1bb1ae1f
    56 rdf:rest rdf:nil
    57 N17d640c10a884c338fce1eb5076c6c9d schema:name readcube_id
    58 schema:value 32191366b2c2ac36bde28351f682113218800cfff2e8ae473591ad2a437181cd
    59 rdf:type schema:PropertyValue
    60 N2460db56609441d095fd29b031da7b64 rdf:first sg:person.014574236321.39
    61 rdf:rest Nec586b4616d14c07985f05411a679ea5
    62 N275f42223a124ca498faae25462cdadd rdf:first sg:person.015351565275.00
    63 rdf:rest N2460db56609441d095fd29b031da7b64
    64 N41ad65334cfa4fffa5a2180c1bb1ae1f schema:familyName Sgall
    65 schema:givenName Jirí
    66 rdf:type schema:Person
    67 N6abfc12daa0347ea8b319c6cfcf40937 schema:familyName Chatterjee
    68 schema:givenName Krishnendu
    69 rdf:type schema:Person
    70 N6e9a879c609b4b7386de57d012041063 schema:name doi
    71 schema:value 10.1007/978-3-642-40313-2_15
    72 rdf:type schema:PropertyValue
    73 N8863e2a63e3c47fda5c2ceb919e6af68 schema:isbn 978-3-642-40312-5
    74 978-3-642-40313-2
    75 schema:name Mathematical Foundations of Computer Science 2013
    76 rdf:type schema:Book
    77 Na383782d12794b2687897597262448a1 rdf:first N6abfc12daa0347ea8b319c6cfcf40937
    78 rdf:rest N0ac208a5f8604c8fb86232fd9509d8c0
    79 Naa51a2f6af9c490a9a64a566749769d4 schema:name Springer Nature - SN SciGraph project
    80 rdf:type schema:Organization
    81 Ne73c95d41bf34dda95f147f0250b5016 schema:name dimensions_id
    82 schema:value pub.1010515841
    83 rdf:type schema:PropertyValue
    84 Nec586b4616d14c07985f05411a679ea5 rdf:first sg:person.016240662443.33
    85 rdf:rest rdf:nil
    86 anzsrc-for:06 schema:inDefinedTermSet anzsrc-for:
    87 schema:name Biological Sciences
    88 rdf:type schema:DefinedTerm
    89 anzsrc-for:0607 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Plant Biology
    91 rdf:type schema:DefinedTerm
    92 sg:grant.2777616 http://pending.schema.org/fundedItem sg:pub.10.1007/978-3-642-40313-2_15
    93 rdf:type schema:MonetaryGrant
    94 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    95 schema:familyName Engelfriet
    96 schema:givenName Joost
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
    98 rdf:type schema:Person
    99 sg:person.015351565275.00 schema:affiliation https://www.grid.ac/institutes/grid.4991.5
    100 schema:familyName Benedikt
    101 schema:givenName Michael
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015351565275.00
    103 rdf:type schema:Person
    104 sg:person.016240662443.33 schema:affiliation https://www.grid.ac/institutes/grid.4991.5
    105 schema:familyName Maneth
    106 schema:givenName Sebastian
    107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016240662443.33
    108 rdf:type schema:Person
    109 sg:pub.10.1007/978-3-642-31585-5_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017902924
    110 https://doi.org/10.1007/978-3-642-31585-5_8
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-642-37064-9_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044818631
    113 https://doi.org/10.1007/978-3-642-37064-9_30
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-3-642-38771-5_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010668532
    116 https://doi.org/10.1007/978-3-642-38771-5_22
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/bf01192143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049216935
    119 https://doi.org/10.1007/bf01192143
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/bf01683280 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014989626
    122 https://doi.org/10.1007/bf01683280
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/bf01704020 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006876172
    125 https://doi.org/10.1007/bf01704020
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/bf01744569 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010280672
    128 https://doi.org/10.1007/bf01744569
    129 rdf:type schema:CreativeWork
    130 sg:pub.10.1007/s00236-009-0105-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018952087
    131 https://doi.org/10.1007/s00236-009-0105-8
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1006/inco.1999.2807 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010394805
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1006/jcss.1999.1684 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038794477
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1016/0020-0190(78)90060-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022766706
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1016/0020-0190(93)90143-w schema:sameAs https://app.dimensions.ai/details/publication/pub.1025613411
    140 rdf:type schema:CreativeWork
    141 https://doi.org/10.1016/0022-0000(80)90058-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028307536
    142 rdf:type schema:CreativeWork
    143 https://doi.org/10.1016/0304-3975(92)90281-j schema:sameAs https://app.dimensions.ai/details/publication/pub.1036884396
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1016/j.ic.2008.03.019 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026415177
    146 rdf:type schema:CreativeWork
    147 https://doi.org/10.1016/j.ic.2014.07.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043321850
    148 rdf:type schema:CreativeWork
    149 https://doi.org/10.1016/j.ipl.2003.05.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028702132
    150 rdf:type schema:CreativeWork
    151 https://doi.org/10.1016/j.ipl.2006.05.015 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002065362
    152 rdf:type schema:CreativeWork
    153 https://doi.org/10.1016/j.jcss.2009.01.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048971550
    154 rdf:type schema:CreativeWork
    155 https://doi.org/10.1016/j.tcs.2010.12.031 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016050446
    156 rdf:type schema:CreativeWork
    157 https://doi.org/10.1137/070699160 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062851455
    158 rdf:type schema:CreativeWork
    159 https://doi.org/10.1137/s0097539701394511 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062879323
    160 rdf:type schema:CreativeWork
    161 https://doi.org/10.1145/1065167.1065174 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016993104
    162 rdf:type schema:CreativeWork
    163 https://doi.org/10.1145/1806907.1806913 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035174482
    164 rdf:type schema:CreativeWork
    165 https://doi.org/10.1145/1938551.1938580 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023208181
    166 rdf:type schema:CreativeWork
    167 https://www.grid.ac/institutes/grid.4991.5 schema:alternateName University of Oxford
    168 schema:name University of Oxford, UK
    169 rdf:type schema:Organization
    170 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
    171 schema:name LIACS, Leiden University, The Netherlands
    172 rdf:type schema:Organization
     




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


    ...