Hierarchical information and the synthesis of distributed strategies View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2018-12

AUTHORS

Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard

ABSTRACT

Infinite games with imperfect information are known to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a total ordering among players, such that each player has access to all the information that the following ones receive. In this paper we consider variations of this hierarchy principle for synchronous games with perfect recall, and identify new decidable classes for which the distributed synthesis problem is solvable with finite-state strategies. In particular, we show that decidability is maintained when the information hierarchy may change along the play, or when transient phases without hierarchical information are allowed. Finally, we interpret our result in terms of distributed system architectures. More... »

PAGES

1-33

References to SciGraph publications

  • 2008. Five Determinisation Algorithms in IMPLEMENTATION AND APPLICATIONS OF AUTOMATA
  • 2015. Hierarchical Information Patterns and Distributed Strategy Synthesis in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2003. Distributed Games in FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2010-10. Information Tracking in Games on Graphs in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 2000. Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers in LATIN 2000: THEORETICAL INFORMATICS
  • 2001-07-04. Distributed Controller Synthesis for Local Specifications in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2009-06. Distributed synthesis for well-connected architectures in FORMAL METHODS IN SYSTEM DESIGN
  • 2007. On the (High) Undecidability of Distributed Synthesis Problems in SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 1988-11. The method of forced enumeration for nondeterministic automata in ACTA INFORMATICA
  • 1995. On the synthesis of strategies in infinite games in STACS 95
  • 2002-09-18. A Decidable Class of Asynchronous Distributed Controllers in CONCUR 2002 — CONCURRENCY THEORY
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-017-0306-5

    DOI

    http://dx.doi.org/10.1007/s00236-017-0306-5

    DIMENSIONS

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


    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/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "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": "French National Centre for Scientific Research", 
              "id": "https://www.grid.ac/institutes/grid.4444.0", 
              "name": [
                "CNRS, ENS Paris-Saclay, LSV, Universit\u00e9 Paris-Saclay, Paris, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Berwanger", 
            "givenName": "Dietmar", 
            "id": "sg:person.014257065263.66", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014257065263.66"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Institute of Mathematical Sciences", 
              "id": "https://www.grid.ac/institutes/grid.462414.1", 
              "name": [
                "CNRS, ENS Paris-Saclay, LSV, Universit\u00e9 Paris-Saclay, Paris, France", 
                "The Institute of Mathematical Sciences, Chennai, India"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Mathew", 
            "givenName": "Anup Basil", 
            "id": "sg:person.016254715523.98", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016254715523.98"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "French National Centre for Scientific Research", 
              "id": "https://www.grid.ac/institutes/grid.4444.0", 
              "name": [
                "CNRS, ENS Paris-Saclay, LSV, Universit\u00e9 Paris-Saclay, Paris, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "van den Bogaard", 
            "givenName": "Marie", 
            "id": "sg:person.014503233375.09", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014503233375.09"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-48224-5_33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001741075", 
              "https://doi.org/10.1007/3-540-48224-5_33"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48224-5_33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001741075", 
              "https://doi.org/10.1007/3-540-48224-5_33"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(89)90039-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003027127"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-69507-3_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004155040", 
              "https://doi.org/10.1007/978-3-540-69507-3_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10849-009-9115-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013096982", 
              "https://doi.org/10.1007/s10849-009-9115-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10849-009-9115-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013096982", 
              "https://doi.org/10.1007/s10849-009-9115-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-70844-5_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014143640", 
              "https://doi.org/10.1007/978-3-540-70844-5_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00299636", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015398492", 
              "https://doi.org/10.1007/bf00299636"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45694-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017879324", 
              "https://doi.org/10.1007/3-540-45694-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45694-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017879324", 
              "https://doi.org/10.1007/3-540-45694-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10719839_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020489721", 
              "https://doi.org/10.1007/10719839_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10719839_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020489721", 
              "https://doi.org/10.1007/10719839_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1995.1071", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021370181"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-008-0064-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022092561", 
              "https://doi.org/10.1007/s10703-008-0064-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24597-1_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023406697", 
              "https://doi.org/10.1007/978-3-540-24597-1_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24597-1_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023406697", 
              "https://doi.org/10.1007/978-3-540-24597-1_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-59042-0_57", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034109179", 
              "https://doi.org/10.1007/3-540-59042-0_57"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-24953-7_28", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036160770", 
              "https://doi.org/10.1007/978-3-319-24953-7_28"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(75)80050-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038899814"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0898-1221(00)00333-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041972123"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1090/s0002-9947-1969-0280205-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050410546"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0217058", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062842077"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.215.17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072355803"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1979.25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086162136"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/swat.1972.29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086213756"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/fscs.1990.89597", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086372196"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2001.932514", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094334141"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2005.53", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095497333"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1090/cbms/013", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098741847"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-12", 
        "datePublishedReg": "2018-12-01", 
        "description": "Infinite games with imperfect information are known to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a total ordering among players, such that each player has access to all the information that the following ones receive. In this paper we consider variations of this hierarchy principle for synchronous games with perfect recall, and identify new decidable classes for which the distributed synthesis problem is solvable with finite-state strategies. In particular, we show that decidability is maintained when the information hierarchy may change along the play, or when transient phases without hierarchical information are allowed. Finally, we interpret our result in terms of distributed system architectures.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00236-017-0306-5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.3793837", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "type": "Periodical"
          }
        ], 
        "name": "Hierarchical information and the synthesis of distributed strategies", 
        "pagination": "1-33", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "08bf3f4c87b9c1206ed1ff37e5fcfbe0e2743f9d143dc6085cd3eda797fba0bb"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-017-0306-5"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1092238149"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-017-0306-5", 
          "https://app.dimensions.ai/details/publication/pub.1092238149"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T13: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_8659_00000563.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs00236-017-0306-5"
      }
    ]
     

    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/s00236-017-0306-5'

    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/s00236-017-0306-5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-017-0306-5'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-017-0306-5'


     

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

    158 TRIPLES      21 PREDICATES      49 URIs      17 LITERALS      5 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-017-0306-5 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N6795883db7554f45b46ce0413b52197d
    4 schema:citation sg:pub.10.1007/10719839_39
    5 sg:pub.10.1007/3-540-45694-5_11
    6 sg:pub.10.1007/3-540-48224-5_33
    7 sg:pub.10.1007/3-540-59042-0_57
    8 sg:pub.10.1007/978-3-319-24953-7_28
    9 sg:pub.10.1007/978-3-540-24597-1_29
    10 sg:pub.10.1007/978-3-540-69507-3_26
    11 sg:pub.10.1007/978-3-540-70844-5_17
    12 sg:pub.10.1007/bf00299636
    13 sg:pub.10.1007/s10703-008-0064-7
    14 sg:pub.10.1007/s10849-009-9115-8
    15 https://doi.org/10.1006/inco.1995.1071
    16 https://doi.org/10.1016/0022-0000(89)90039-1
    17 https://doi.org/10.1016/s0022-0000(75)80050-x
    18 https://doi.org/10.1016/s0898-1221(00)00333-3
    19 https://doi.org/10.1090/cbms/013
    20 https://doi.org/10.1090/s0002-9947-1969-0280205-0
    21 https://doi.org/10.1109/fscs.1990.89597
    22 https://doi.org/10.1109/lics.2001.932514
    23 https://doi.org/10.1109/lics.2005.53
    24 https://doi.org/10.1109/sfcs.1979.25
    25 https://doi.org/10.1109/swat.1972.29
    26 https://doi.org/10.1137/0217058
    27 https://doi.org/10.4204/eptcs.215.17
    28 schema:datePublished 2018-12
    29 schema:datePublishedReg 2018-12-01
    30 schema:description Infinite games with imperfect information are known to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a total ordering among players, such that each player has access to all the information that the following ones receive. In this paper we consider variations of this hierarchy principle for synchronous games with perfect recall, and identify new decidable classes for which the distributed synthesis problem is solvable with finite-state strategies. In particular, we show that decidability is maintained when the information hierarchy may change along the play, or when transient phases without hierarchical information are allowed. Finally, we interpret our result in terms of distributed system architectures.
    31 schema:genre research_article
    32 schema:inLanguage en
    33 schema:isAccessibleForFree true
    34 schema:isPartOf sg:journal.1133515
    35 schema:name Hierarchical information and the synthesis of distributed strategies
    36 schema:pagination 1-33
    37 schema:productId N024fdc8bbfc34d608534dd2efffb1dce
    38 N94dda8ee3ef141a48bd90885c4b89546
    39 Nb0add4248b8042cc9f5b7791e956b1c3
    40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092238149
    41 https://doi.org/10.1007/s00236-017-0306-5
    42 schema:sdDatePublished 2019-04-10T13:26
    43 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    44 schema:sdPublisher N1a5d5829f58346c1abaac7fc347cb475
    45 schema:url https://link.springer.com/10.1007%2Fs00236-017-0306-5
    46 sgo:license sg:explorer/license/
    47 sgo:sdDataset articles
    48 rdf:type schema:ScholarlyArticle
    49 N024fdc8bbfc34d608534dd2efffb1dce schema:name dimensions_id
    50 schema:value pub.1092238149
    51 rdf:type schema:PropertyValue
    52 N1a5d5829f58346c1abaac7fc347cb475 schema:name Springer Nature - SN SciGraph project
    53 rdf:type schema:Organization
    54 N22ce125128a448cbb7166e3f1144770a rdf:first sg:person.014503233375.09
    55 rdf:rest rdf:nil
    56 N6795883db7554f45b46ce0413b52197d rdf:first sg:person.014257065263.66
    57 rdf:rest N84548dfd177841bd94f85005a5e20d85
    58 N84548dfd177841bd94f85005a5e20d85 rdf:first sg:person.016254715523.98
    59 rdf:rest N22ce125128a448cbb7166e3f1144770a
    60 N94dda8ee3ef141a48bd90885c4b89546 schema:name doi
    61 schema:value 10.1007/s00236-017-0306-5
    62 rdf:type schema:PropertyValue
    63 Nb0add4248b8042cc9f5b7791e956b1c3 schema:name readcube_id
    64 schema:value 08bf3f4c87b9c1206ed1ff37e5fcfbe0e2743f9d143dc6085cd3eda797fba0bb
    65 rdf:type schema:PropertyValue
    66 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    67 schema:name Information and Computing Sciences
    68 rdf:type schema:DefinedTerm
    69 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    70 schema:name Information Systems
    71 rdf:type schema:DefinedTerm
    72 sg:grant.3793837 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-017-0306-5
    73 rdf:type schema:MonetaryGrant
    74 sg:journal.1133515 schema:issn 0001-5903
    75 1432-0525
    76 schema:name Acta Informatica
    77 rdf:type schema:Periodical
    78 sg:person.014257065263.66 schema:affiliation https://www.grid.ac/institutes/grid.4444.0
    79 schema:familyName Berwanger
    80 schema:givenName Dietmar
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014257065263.66
    82 rdf:type schema:Person
    83 sg:person.014503233375.09 schema:affiliation https://www.grid.ac/institutes/grid.4444.0
    84 schema:familyName van den Bogaard
    85 schema:givenName Marie
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014503233375.09
    87 rdf:type schema:Person
    88 sg:person.016254715523.98 schema:affiliation https://www.grid.ac/institutes/grid.462414.1
    89 schema:familyName Mathew
    90 schema:givenName Anup Basil
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016254715523.98
    92 rdf:type schema:Person
    93 sg:pub.10.1007/10719839_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020489721
    94 https://doi.org/10.1007/10719839_39
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/3-540-45694-5_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017879324
    97 https://doi.org/10.1007/3-540-45694-5_11
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/3-540-48224-5_33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001741075
    100 https://doi.org/10.1007/3-540-48224-5_33
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-59042-0_57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034109179
    103 https://doi.org/10.1007/3-540-59042-0_57
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/978-3-319-24953-7_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036160770
    106 https://doi.org/10.1007/978-3-319-24953-7_28
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/978-3-540-24597-1_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023406697
    109 https://doi.org/10.1007/978-3-540-24597-1_29
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-3-540-69507-3_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004155040
    112 https://doi.org/10.1007/978-3-540-69507-3_26
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-540-70844-5_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014143640
    115 https://doi.org/10.1007/978-3-540-70844-5_17
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/bf00299636 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015398492
    118 https://doi.org/10.1007/bf00299636
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/s10703-008-0064-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022092561
    121 https://doi.org/10.1007/s10703-008-0064-7
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/s10849-009-9115-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013096982
    124 https://doi.org/10.1007/s10849-009-9115-8
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1006/inco.1995.1071 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021370181
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1016/0022-0000(89)90039-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003027127
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1016/s0022-0000(75)80050-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1038899814
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1016/s0898-1221(00)00333-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041972123
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1090/cbms/013 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098741847
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1090/s0002-9947-1969-0280205-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050410546
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1109/fscs.1990.89597 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086372196
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1109/lics.2001.932514 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094334141
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1109/lics.2005.53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095497333
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1109/sfcs.1979.25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086162136
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1109/swat.1972.29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086213756
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.1137/0217058 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062842077
    149 rdf:type schema:CreativeWork
    150 https://doi.org/10.4204/eptcs.215.17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072355803
    151 rdf:type schema:CreativeWork
    152 https://www.grid.ac/institutes/grid.4444.0 schema:alternateName French National Centre for Scientific Research
    153 schema:name CNRS, ENS Paris-Saclay, LSV, Université Paris-Saclay, Paris, France
    154 rdf:type schema:Organization
    155 https://www.grid.ac/institutes/grid.462414.1 schema:alternateName Institute of Mathematical Sciences
    156 schema:name CNRS, ENS Paris-Saclay, LSV, Université Paris-Saclay, Paris, France
    157 The Institute of Mathematical Sciences, Chennai, India
    158 rdf:type schema:Organization
     




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


    ...