Nested Pebbles and Transitive Closure View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

Joost Engelfriet , Hendrik Jan Hoogeboom

ABSTRACT

First-order logic with k-ary deterministic transitive closure has the same power as two-way k-head deterministic automata that use a finite set of nested pebbles. This result is valid for strings, ranked trees, and in general for families of graphs having a fixed automaton that can be used to traverse the nodes of each of the graphs in the family. Other examples of such families are grids, toruses, and rectangular mazes. More... »

PAGES

477-488

References to SciGraph publications

  • 1999. Descriptive Complexity in NONE
  • 1999. Tree-Walking Pebble Automata in JEWELS ARE FOREVER
  • 2002-09-02. Automata, Logic, and XML in COMPUTER SCIENCE LOGIC
  • 1992. The expressive power of transitive closure and 2-way multihead automata in COMPUTER SCIENCE LOGIC
  • 1968-03. Generalized finite automata theory with an application to a decision problem of second-order logic in MATHEMATICAL SYSTEMS THEORY
  • 1997. Languages, Automata, and Logic in HANDBOOK OF FORMAL LANGUAGES
  • 1997. Two-Dimensional Languages in HANDBOOK OF FORMAL LANGUAGES
  • 2003-08. A comparison of pebble tree transducers with macro tree transducers in ACTA INFORMATICA
  • 2004. XML: Model, Schemas, Types, Logics, and Queries in LOGICS FOR EMERGING APPLICATIONS OF DATABASES
  • 2004. Tree-Walking Automata Cannot Be Determinized in AUTOMATA, LANGUAGES AND PROGRAMMING
  • Book

    TITLE

    STACS 2006

    ISBN

    978-3-540-32301-3
    978-3-540-32288-7

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/11672142_39

    DOI

    http://dx.doi.org/10.1007/11672142_39

    DIMENSIONS

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


    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/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Institute of Advanced Computer Science, Leiden University, 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": [
                "Institute of Advanced Computer Science, Leiden University, P.O.Box 9512, 2300 RA, Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hoogeboom", 
            "givenName": "Hendrik Jan", 
            "id": "sg:person.013762305654.52", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013762305654.52"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-18690-5_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001247930", 
              "https://doi.org/10.1007/978-3-642-18690-5_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-18690-5_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001247930", 
              "https://doi.org/10.1007/978-3-642-18690-5_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/mana.19780860120", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001418618"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-60207-8_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001808103", 
              "https://doi.org/10.1007/978-3-642-60207-8_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-60207-8_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001808103", 
              "https://doi.org/10.1007/978-3-642-60207-8_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-59126-6_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001827630", 
              "https://doi.org/10.1007/978-3-642-59126-6_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-59126-6_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001827630", 
              "https://doi.org/10.1007/978-3-642-59126-6_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45793-3_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002630146", 
              "https://doi.org/10.1007/3-540-45793-3_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45793-3_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002630146", 
              "https://doi.org/10.1007/3-540-45793-3_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ipl.2005.09.017", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005207551"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-59126-6_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005282588", 
              "https://doi.org/10.1007/978-3-642-59126-6_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-59126-6_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005282588", 
              "https://doi.org/10.1007/978-3-642-59126-6_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(70)80041-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006764898"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-003-0120-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017699949", 
              "https://doi.org/10.1007/s00236-003-0120-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0539-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019353558", 
              "https://doi.org/10.1007/978-1-4612-0539-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0539-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019353558", 
              "https://doi.org/10.1007/978-1-4612-0539-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2002.2955", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019432762"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2002.2955", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019432762"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(81)90438-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020821867"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0023754", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026017856", 
              "https://doi.org/10.1007/bfb0023754"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(96)00119-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026184128"
            ], 
            "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/s0890-5401(03)00013-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036048870"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691346", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038809008", 
              "https://doi.org/10.1007/bf01691346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691346", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038809008", 
              "https://doi.org/10.1007/bf01691346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691346", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038809008", 
              "https://doi.org/10.1007/bf01691346"
            ], 
            "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": "sg:pub.10.1007/978-3-540-27836-8_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046537143", 
              "https://doi.org/10.1007/978-3-540-27836-8_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27836-8_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046537143", 
              "https://doi.org/10.1007/978-3-540-27836-8_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1060590.1060626", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050574918"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(80)90053-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052607093"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(02)00030-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052657880"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0209048", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841537"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0216051", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841997"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1162/109966200750410613", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063349644"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2168/lmcs-3(2:3)2007", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069150901"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1051/ita/1980140100671", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1083712873"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/focs.1967.6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086169463"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1978.30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086207665"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2006", 
        "datePublishedReg": "2006-01-01", 
        "description": "First-order logic with k-ary deterministic transitive closure has the same power as two-way k-head deterministic automata that use a finite set of nested pebbles. This result is valid for strings, ranked trees, and in general for families of graphs having a fixed automaton that can be used to traverse the nodes of each of the graphs in the family. Other examples of such families are grids, toruses, and rectangular mazes.", 
        "editor": [
          {
            "familyName": "Durand", 
            "givenName": "Bruno", 
            "type": "Person"
          }, 
          {
            "familyName": "Thomas", 
            "givenName": "Wolfgang", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/11672142_39", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-32301-3", 
            "978-3-540-32288-7"
          ], 
          "name": "STACS 2006", 
          "type": "Book"
        }, 
        "name": "Nested Pebbles and Transitive Closure", 
        "pagination": "477-488", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1034709642"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/11672142_39"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "a557f14210238f4f85664778d42a17c67b313c375bbedbf034829871cdba97b6"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/11672142_39", 
          "https://app.dimensions.ai/details/publication/pub.1034709642"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T07:29", 
        "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/0000000356_0000000356/records_57871_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F11672142_39"
      }
    ]
     

    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/11672142_39'

    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/11672142_39'

    Turtle is a human-readable linked data format.

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

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

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


     

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

    174 TRIPLES      23 PREDICATES      56 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/11672142_39 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author Ndeeefc017b4746beb91fb2c93b95bc6b
    4 schema:citation sg:pub.10.1007/3-540-45793-3_2
    5 sg:pub.10.1007/978-1-4612-0539-5
    6 sg:pub.10.1007/978-3-540-27836-8_23
    7 sg:pub.10.1007/978-3-642-18690-5_1
    8 sg:pub.10.1007/978-3-642-59126-6_4
    9 sg:pub.10.1007/978-3-642-59126-6_7
    10 sg:pub.10.1007/978-3-642-60207-8_7
    11 sg:pub.10.1007/bf01691346
    12 sg:pub.10.1007/bfb0023754
    13 sg:pub.10.1007/s00236-003-0120-0
    14 https://doi.org/10.1002/mana.19780860120
    15 https://doi.org/10.1006/inco.2002.2955
    16 https://doi.org/10.1016/0022-0000(80)90058-6
    17 https://doi.org/10.1016/0304-3975(80)90053-5
    18 https://doi.org/10.1016/j.ipl.2005.09.017
    19 https://doi.org/10.1016/s0019-9958(71)90706-6
    20 https://doi.org/10.1016/s0019-9958(81)90438-1
    21 https://doi.org/10.1016/s0022-0000(02)00030-2
    22 https://doi.org/10.1016/s0022-0000(70)80041-1
    23 https://doi.org/10.1016/s0304-3975(96)00119-3
    24 https://doi.org/10.1016/s0890-5401(03)00013-0
    25 https://doi.org/10.1051/ita/1980140100671
    26 https://doi.org/10.1109/focs.1967.6
    27 https://doi.org/10.1109/sfcs.1978.30
    28 https://doi.org/10.1137/0209048
    29 https://doi.org/10.1137/0216051
    30 https://doi.org/10.1145/1060590.1060626
    31 https://doi.org/10.1162/109966200750410613
    32 https://doi.org/10.2168/lmcs-3(2:3)2007
    33 schema:datePublished 2006
    34 schema:datePublishedReg 2006-01-01
    35 schema:description First-order logic with k-ary deterministic transitive closure has the same power as two-way k-head deterministic automata that use a finite set of nested pebbles. This result is valid for strings, ranked trees, and in general for families of graphs having a fixed automaton that can be used to traverse the nodes of each of the graphs in the family. Other examples of such families are grids, toruses, and rectangular mazes.
    36 schema:editor N1e8dfdbe479d4879bc0dfcce9734e6b7
    37 schema:genre chapter
    38 schema:inLanguage en
    39 schema:isAccessibleForFree false
    40 schema:isPartOf Na7507059e6fc4e37bf2b89e2c5680154
    41 schema:name Nested Pebbles and Transitive Closure
    42 schema:pagination 477-488
    43 schema:productId N7eaded3582fd4880868c30c0a5dfb1b8
    44 Nbf93b10b4e3c469dbbae7f7d4628526e
    45 Nf8bfc554c22f4cc1a3444eeaff0fe6b1
    46 schema:publisher N6b007c8dd7404c36b7f33dd419f2ebda
    47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034709642
    48 https://doi.org/10.1007/11672142_39
    49 schema:sdDatePublished 2019-04-16T07:29
    50 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    51 schema:sdPublisher N7b04352fbee84647aaea0088f88585f9
    52 schema:url https://link.springer.com/10.1007%2F11672142_39
    53 sgo:license sg:explorer/license/
    54 sgo:sdDataset chapters
    55 rdf:type schema:Chapter
    56 N154cca72d6784b0d946097079380e889 rdf:first N5f6688b82469429f8984cfe512078a0d
    57 rdf:rest rdf:nil
    58 N1e8dfdbe479d4879bc0dfcce9734e6b7 rdf:first Ne71ea7fec1a644bd82121a3a0804a11e
    59 rdf:rest N154cca72d6784b0d946097079380e889
    60 N4521aefdabdd4d6db6e2dc9a4d778780 rdf:first sg:person.013762305654.52
    61 rdf:rest rdf:nil
    62 N5f6688b82469429f8984cfe512078a0d schema:familyName Thomas
    63 schema:givenName Wolfgang
    64 rdf:type schema:Person
    65 N6b007c8dd7404c36b7f33dd419f2ebda schema:location Berlin, Heidelberg
    66 schema:name Springer Berlin Heidelberg
    67 rdf:type schema:Organisation
    68 N7b04352fbee84647aaea0088f88585f9 schema:name Springer Nature - SN SciGraph project
    69 rdf:type schema:Organization
    70 N7eaded3582fd4880868c30c0a5dfb1b8 schema:name readcube_id
    71 schema:value a557f14210238f4f85664778d42a17c67b313c375bbedbf034829871cdba97b6
    72 rdf:type schema:PropertyValue
    73 Na7507059e6fc4e37bf2b89e2c5680154 schema:isbn 978-3-540-32288-7
    74 978-3-540-32301-3
    75 schema:name STACS 2006
    76 rdf:type schema:Book
    77 Nbf93b10b4e3c469dbbae7f7d4628526e schema:name doi
    78 schema:value 10.1007/11672142_39
    79 rdf:type schema:PropertyValue
    80 Ndeeefc017b4746beb91fb2c93b95bc6b rdf:first sg:person.014574236321.39
    81 rdf:rest N4521aefdabdd4d6db6e2dc9a4d778780
    82 Ne71ea7fec1a644bd82121a3a0804a11e schema:familyName Durand
    83 schema:givenName Bruno
    84 rdf:type schema:Person
    85 Nf8bfc554c22f4cc1a3444eeaff0fe6b1 schema:name dimensions_id
    86 schema:value pub.1034709642
    87 rdf:type schema:PropertyValue
    88 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    89 schema:name Information and Computing Sciences
    90 rdf:type schema:DefinedTerm
    91 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    92 schema:name Computation Theory and Mathematics
    93 rdf:type schema:DefinedTerm
    94 sg:person.013762305654.52 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    95 schema:familyName Hoogeboom
    96 schema:givenName Hendrik Jan
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013762305654.52
    98 rdf:type schema:Person
    99 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    100 schema:familyName Engelfriet
    101 schema:givenName Joost
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
    103 rdf:type schema:Person
    104 sg:pub.10.1007/3-540-45793-3_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002630146
    105 https://doi.org/10.1007/3-540-45793-3_2
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-1-4612-0539-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019353558
    108 https://doi.org/10.1007/978-1-4612-0539-5
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-540-27836-8_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046537143
    111 https://doi.org/10.1007/978-3-540-27836-8_23
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/978-3-642-18690-5_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001247930
    114 https://doi.org/10.1007/978-3-642-18690-5_1
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/978-3-642-59126-6_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001827630
    117 https://doi.org/10.1007/978-3-642-59126-6_4
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/978-3-642-59126-6_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005282588
    120 https://doi.org/10.1007/978-3-642-59126-6_7
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/978-3-642-60207-8_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001808103
    123 https://doi.org/10.1007/978-3-642-60207-8_7
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/bf01691346 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038809008
    126 https://doi.org/10.1007/bf01691346
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/bfb0023754 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026017856
    129 https://doi.org/10.1007/bfb0023754
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/s00236-003-0120-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017699949
    132 https://doi.org/10.1007/s00236-003-0120-0
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1002/mana.19780860120 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001418618
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1006/inco.2002.2955 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019432762
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1016/0022-0000(80)90058-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028307536
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1016/0304-3975(80)90053-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052607093
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1016/j.ipl.2005.09.017 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005207551
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1016/s0019-9958(71)90706-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046403722
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1016/s0019-9958(81)90438-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020821867
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.1016/s0022-0000(02)00030-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052657880
    149 rdf:type schema:CreativeWork
    150 https://doi.org/10.1016/s0022-0000(70)80041-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006764898
    151 rdf:type schema:CreativeWork
    152 https://doi.org/10.1016/s0304-3975(96)00119-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026184128
    153 rdf:type schema:CreativeWork
    154 https://doi.org/10.1016/s0890-5401(03)00013-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036048870
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1051/ita/1980140100671 schema:sameAs https://app.dimensions.ai/details/publication/pub.1083712873
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1109/focs.1967.6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086169463
    159 rdf:type schema:CreativeWork
    160 https://doi.org/10.1109/sfcs.1978.30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086207665
    161 rdf:type schema:CreativeWork
    162 https://doi.org/10.1137/0209048 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841537
    163 rdf:type schema:CreativeWork
    164 https://doi.org/10.1137/0216051 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841997
    165 rdf:type schema:CreativeWork
    166 https://doi.org/10.1145/1060590.1060626 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050574918
    167 rdf:type schema:CreativeWork
    168 https://doi.org/10.1162/109966200750410613 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063349644
    169 rdf:type schema:CreativeWork
    170 https://doi.org/10.2168/lmcs-3(2:3)2007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069150901
    171 rdf:type schema:CreativeWork
    172 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
    173 schema:name Institute of Advanced Computer Science, Leiden University, P.O.Box 9512, 2300 RA, Leiden, The Netherlands
    174 rdf:type schema:Organization
     




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


    ...