A Saturation Method for Collapsible Pushdown Systems View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2012

AUTHORS

Chris Broadbent , Arnaud Carayol , Matthew Hague , Olivier Serre

ABSTRACT

We introduce a natural extension of collapsible pushdown systems called annotated pushdown systems that replaces collapse links with stack annotations. We believe this new model has many advantages. We present a saturation method for global backwards reachability analysis of these models that can also be used to analyse collapsible pushdown systems. Beginning with an automaton representing a set of configurations, we build an automaton accepting all configurations that can reach this set. We also improve upon previous saturation techniques for higher-order pushdown systems by significantly reducing the size of the automaton constructed and simplifying the algorithm and proofs. More... »

PAGES

165-176

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-31585-5_18

DOI

http://dx.doi.org/10.1007/978-3-642-31585-5_18

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": "Laboratoire d'Informatique Algorithmique: Fondements et Applications", 
          "id": "https://www.grid.ac/institutes/grid.462842.e", 
          "name": [
            "LIAFA, Universit\u00e9 Paris Diderot \u2013 Paris 7 & CNRS, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Broadbent", 
        "givenName": "Chris", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Laboratoire d'Informatique Gaspard-Monge", 
          "id": "https://www.grid.ac/institutes/grid.462940.d", 
          "name": [
            "LIGM, Universit\u00e9 Paris-Est & CNRS, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Carayol", 
        "givenName": "Arnaud", 
        "id": "sg:person.013525060217.03", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013525060217.03"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Laboratoire d'Informatique Algorithmique: Fondements et Applications", 
          "id": "https://www.grid.ac/institutes/grid.462842.e", 
          "name": [
            "LIAFA, Universit\u00e9 Paris Diderot \u2013 Paris 7 & CNRS, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hague", 
        "givenName": "Matthew", 
        "id": "sg:person.016660553175.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016660553175.13"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Laboratoire d'Informatique Algorithmique: Fondements et Applications", 
          "id": "https://www.grid.ac/institutes/grid.462842.e", 
          "name": [
            "LIAFA, Universit\u00e9 Paris Diderot \u2013 Paris 7 & CNRS, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Serre", 
        "givenName": "Olivier", 
        "id": "sg:person.012501632212.04", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012501632212.04"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0304-3975(82)90009-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003269055"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/10722167_20", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005270786", 
          "https://doi.org/10.1007/10722167_20"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/10722167_20", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005270786", 
          "https://doi.org/10.1007/10722167_20"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-04420-5_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009168920", 
          "https://doi.org/10.1007/978-3-642-04420-5_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-63141-0_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010116324", 
          "https://doi.org/10.1007/3-540-63141-0_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-19805-2_18", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012560765", 
          "https://doi.org/10.1007/978-3-642-19805-2_18"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-19805-2_18", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012560765", 
          "https://doi.org/10.1007/978-3-642-19805-2_18"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s1571-0661(05)80426-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013019919"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.scico.2005.02.009", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014742386"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.scico.2005.02.009", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014742386"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-30538-5_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016246348", 
          "https://doi.org/10.1007/978-3-540-30538-5_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-30538-5_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016246348", 
          "https://doi.org/10.1007/978-3-540-30538-5_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.ic.2010.12.004", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018707872"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11901914_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020025047", 
          "https://doi.org/10.1007/11901914_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11901914_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020025047", 
          "https://doi.org/10.1007/11901914_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/322234.322243", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021206590"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11523468_117", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030050029", 
          "https://doi.org/10.1007/11523468_117"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11523468_117", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030050029", 
          "https://doi.org/10.1007/11523468_117"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45931-6_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034404222", 
          "https://doi.org/10.1007/3-540-45931-6_15"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-16164-3_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034942019", 
          "https://doi.org/10.1007/978-3-642-16164-3_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-16164-3_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034942019", 
          "https://doi.org/10.1007/978-3-642-16164-3_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-32589-2_50", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041573106", 
          "https://doi.org/10.1007/978-3-642-32589-2_50"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-85114-1_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042310044", 
          "https://doi.org/10.1007/978-3-540-85114-1_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-22012-8_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043315929", 
          "https://doi.org/10.1007/978-3-642-22012-8_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-22012-8_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043315929", 
          "https://doi.org/10.1007/978-3-642-22012-8_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11549345_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043318960", 
          "https://doi.org/10.1007/11549345_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11549345_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043318960", 
          "https://doi.org/10.1007/11549345_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11549345_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043318960", 
          "https://doi.org/10.1007/11549345_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-71389-0_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044061119", 
          "https://doi.org/10.1007/978-3-540-71389-0_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/503272.503274", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051268205"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-24597-1_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052767423", 
          "https://doi.org/10.1007/978-3-540-24597-1_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-24597-1_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052767423", 
          "https://doi.org/10.1007/978-3-540-24597-1_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/lics.2008.34", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094035074"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/lics.2011.15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095750847"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2012", 
    "datePublishedReg": "2012-01-01", 
    "description": "We introduce a natural extension of collapsible pushdown systems called annotated pushdown systems that replaces collapse links with stack annotations. We believe this new model has many advantages. We present a saturation method for global backwards reachability analysis of these models that can also be used to analyse collapsible pushdown systems. Beginning with an automaton representing a set of configurations, we build an automaton accepting all configurations that can reach this set. We also improve upon previous saturation techniques for higher-order pushdown systems by significantly reducing the size of the automaton constructed and simplifying the algorithm and proofs.", 
    "editor": [
      {
        "familyName": "Czumaj", 
        "givenName": "Artur", 
        "type": "Person"
      }, 
      {
        "familyName": "Mehlhorn", 
        "givenName": "Kurt", 
        "type": "Person"
      }, 
      {
        "familyName": "Pitts", 
        "givenName": "Andrew", 
        "type": "Person"
      }, 
      {
        "familyName": "Wattenhofer", 
        "givenName": "Roger", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-31585-5_18", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-31584-8", 
        "978-3-642-31585-5"
      ], 
      "name": "Automata, Languages, and Programming", 
      "type": "Book"
    }, 
    "name": "A Saturation Method for Collapsible Pushdown Systems", 
    "pagination": "165-176", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-31585-5_18"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "8e4c2343aa5d08e94264288df2a7d56e192f1d1a3d10bba5b2de1626084536d9"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1029869669"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-31585-5_18", 
      "https://app.dimensions.ai/details/publication/pub.1029869669"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T19:09", 
    "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_8684_00000261.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-642-31585-5_18"
  }
]
 

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-31585-5_18'

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-31585-5_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-31585-5_18'

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-31585-5_18'


 

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

187 TRIPLES      23 PREDICATES      50 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-31585-5_18 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N26f5f87c55e347e2856cf50de581fd24
4 schema:citation sg:pub.10.1007/10722167_20
5 sg:pub.10.1007/11523468_117
6 sg:pub.10.1007/11549345_16
7 sg:pub.10.1007/11901914_13
8 sg:pub.10.1007/3-540-45931-6_15
9 sg:pub.10.1007/3-540-63141-0_10
10 sg:pub.10.1007/978-3-540-24597-1_10
11 sg:pub.10.1007/978-3-540-30538-5_12
12 sg:pub.10.1007/978-3-540-71389-0_16
13 sg:pub.10.1007/978-3-540-85114-1_19
14 sg:pub.10.1007/978-3-642-04420-5_19
15 sg:pub.10.1007/978-3-642-16164-3_14
16 sg:pub.10.1007/978-3-642-19805-2_18
17 sg:pub.10.1007/978-3-642-22012-8_12
18 sg:pub.10.1007/978-3-642-32589-2_50
19 https://doi.org/10.1016/0304-3975(82)90009-3
20 https://doi.org/10.1016/j.ic.2010.12.004
21 https://doi.org/10.1016/j.scico.2005.02.009
22 https://doi.org/10.1016/s1571-0661(05)80426-8
23 https://doi.org/10.1109/lics.2008.34
24 https://doi.org/10.1109/lics.2011.15
25 https://doi.org/10.1145/322234.322243
26 https://doi.org/10.1145/503272.503274
27 schema:datePublished 2012
28 schema:datePublishedReg 2012-01-01
29 schema:description We introduce a natural extension of collapsible pushdown systems called annotated pushdown systems that replaces collapse links with stack annotations. We believe this new model has many advantages. We present a saturation method for global backwards reachability analysis of these models that can also be used to analyse collapsible pushdown systems. Beginning with an automaton representing a set of configurations, we build an automaton accepting all configurations that can reach this set. We also improve upon previous saturation techniques for higher-order pushdown systems by significantly reducing the size of the automaton constructed and simplifying the algorithm and proofs.
30 schema:editor N17ed0c7423d8425f9b213ee246c30285
31 schema:genre chapter
32 schema:inLanguage en
33 schema:isAccessibleForFree true
34 schema:isPartOf Nee6a0b16edb3494aafa81f22a7efe700
35 schema:name A Saturation Method for Collapsible Pushdown Systems
36 schema:pagination 165-176
37 schema:productId N0652b0d03b814c41bcf785c88db720c0
38 N901e268aae324378911e9317b10e9357
39 Ne4ab44ac0b1440b6a473567df933f01c
40 schema:publisher N62c9d4cca5af4ce0bb8754b11c663eee
41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029869669
42 https://doi.org/10.1007/978-3-642-31585-5_18
43 schema:sdDatePublished 2019-04-15T19:09
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher Nfb946e9e43644e60b87966887087aaaa
46 schema:url http://link.springer.com/10.1007/978-3-642-31585-5_18
47 sgo:license sg:explorer/license/
48 sgo:sdDataset chapters
49 rdf:type schema:Chapter
50 N0652b0d03b814c41bcf785c88db720c0 schema:name readcube_id
51 schema:value 8e4c2343aa5d08e94264288df2a7d56e192f1d1a3d10bba5b2de1626084536d9
52 rdf:type schema:PropertyValue
53 N0654b86a5ce14cceb46bfc922039a9aa rdf:first N8106f42fcd3c45eb854aa7566d74e98d
54 rdf:rest Na846208d7d0a4e8b819457166d81c1c8
55 N0a7d993cc6a2409f9204acbcd1f77c16 schema:familyName Pitts
56 schema:givenName Andrew
57 rdf:type schema:Person
58 N17ed0c7423d8425f9b213ee246c30285 rdf:first N69b7c47a0e304d509d8916650ed29863
59 rdf:rest N0654b86a5ce14cceb46bfc922039a9aa
60 N26f5f87c55e347e2856cf50de581fd24 rdf:first Nbd49ec099e814118a5788375a739876a
61 rdf:rest N7f61ce022d8f4d2ab9a0344052ca5192
62 N3f142c10639241ac8ef60c0989a0d742 schema:familyName Wattenhofer
63 schema:givenName Roger
64 rdf:type schema:Person
65 N4c54cc985afd4f0283fd8bef94cc6ee4 rdf:first sg:person.012501632212.04
66 rdf:rest rdf:nil
67 N62c9d4cca5af4ce0bb8754b11c663eee schema:location Berlin, Heidelberg
68 schema:name Springer Berlin Heidelberg
69 rdf:type schema:Organisation
70 N6374e49e1e2743d0aeede8fd3ec375a3 rdf:first N3f142c10639241ac8ef60c0989a0d742
71 rdf:rest rdf:nil
72 N69b7c47a0e304d509d8916650ed29863 schema:familyName Czumaj
73 schema:givenName Artur
74 rdf:type schema:Person
75 N7f61ce022d8f4d2ab9a0344052ca5192 rdf:first sg:person.013525060217.03
76 rdf:rest N9d8b0f4b2e644ef28d4d8234df33656c
77 N8106f42fcd3c45eb854aa7566d74e98d schema:familyName Mehlhorn
78 schema:givenName Kurt
79 rdf:type schema:Person
80 N901e268aae324378911e9317b10e9357 schema:name dimensions_id
81 schema:value pub.1029869669
82 rdf:type schema:PropertyValue
83 N9d8b0f4b2e644ef28d4d8234df33656c rdf:first sg:person.016660553175.13
84 rdf:rest N4c54cc985afd4f0283fd8bef94cc6ee4
85 Na846208d7d0a4e8b819457166d81c1c8 rdf:first N0a7d993cc6a2409f9204acbcd1f77c16
86 rdf:rest N6374e49e1e2743d0aeede8fd3ec375a3
87 Nbd49ec099e814118a5788375a739876a schema:affiliation https://www.grid.ac/institutes/grid.462842.e
88 schema:familyName Broadbent
89 schema:givenName Chris
90 rdf:type schema:Person
91 Ne4ab44ac0b1440b6a473567df933f01c schema:name doi
92 schema:value 10.1007/978-3-642-31585-5_18
93 rdf:type schema:PropertyValue
94 Nee6a0b16edb3494aafa81f22a7efe700 schema:isbn 978-3-642-31584-8
95 978-3-642-31585-5
96 schema:name Automata, Languages, and Programming
97 rdf:type schema:Book
98 Nfb946e9e43644e60b87966887087aaaa schema:name Springer Nature - SN SciGraph project
99 rdf:type schema:Organization
100 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information and Computing Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
104 schema:name Artificial Intelligence and Image Processing
105 rdf:type schema:DefinedTerm
106 sg:person.012501632212.04 schema:affiliation https://www.grid.ac/institutes/grid.462842.e
107 schema:familyName Serre
108 schema:givenName Olivier
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012501632212.04
110 rdf:type schema:Person
111 sg:person.013525060217.03 schema:affiliation https://www.grid.ac/institutes/grid.462940.d
112 schema:familyName Carayol
113 schema:givenName Arnaud
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013525060217.03
115 rdf:type schema:Person
116 sg:person.016660553175.13 schema:affiliation https://www.grid.ac/institutes/grid.462842.e
117 schema:familyName Hague
118 schema:givenName Matthew
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016660553175.13
120 rdf:type schema:Person
121 sg:pub.10.1007/10722167_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005270786
122 https://doi.org/10.1007/10722167_20
123 rdf:type schema:CreativeWork
124 sg:pub.10.1007/11523468_117 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030050029
125 https://doi.org/10.1007/11523468_117
126 rdf:type schema:CreativeWork
127 sg:pub.10.1007/11549345_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043318960
128 https://doi.org/10.1007/11549345_16
129 rdf:type schema:CreativeWork
130 sg:pub.10.1007/11901914_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020025047
131 https://doi.org/10.1007/11901914_13
132 rdf:type schema:CreativeWork
133 sg:pub.10.1007/3-540-45931-6_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034404222
134 https://doi.org/10.1007/3-540-45931-6_15
135 rdf:type schema:CreativeWork
136 sg:pub.10.1007/3-540-63141-0_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010116324
137 https://doi.org/10.1007/3-540-63141-0_10
138 rdf:type schema:CreativeWork
139 sg:pub.10.1007/978-3-540-24597-1_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052767423
140 https://doi.org/10.1007/978-3-540-24597-1_10
141 rdf:type schema:CreativeWork
142 sg:pub.10.1007/978-3-540-30538-5_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016246348
143 https://doi.org/10.1007/978-3-540-30538-5_12
144 rdf:type schema:CreativeWork
145 sg:pub.10.1007/978-3-540-71389-0_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044061119
146 https://doi.org/10.1007/978-3-540-71389-0_16
147 rdf:type schema:CreativeWork
148 sg:pub.10.1007/978-3-540-85114-1_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042310044
149 https://doi.org/10.1007/978-3-540-85114-1_19
150 rdf:type schema:CreativeWork
151 sg:pub.10.1007/978-3-642-04420-5_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009168920
152 https://doi.org/10.1007/978-3-642-04420-5_19
153 rdf:type schema:CreativeWork
154 sg:pub.10.1007/978-3-642-16164-3_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034942019
155 https://doi.org/10.1007/978-3-642-16164-3_14
156 rdf:type schema:CreativeWork
157 sg:pub.10.1007/978-3-642-19805-2_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012560765
158 https://doi.org/10.1007/978-3-642-19805-2_18
159 rdf:type schema:CreativeWork
160 sg:pub.10.1007/978-3-642-22012-8_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043315929
161 https://doi.org/10.1007/978-3-642-22012-8_12
162 rdf:type schema:CreativeWork
163 sg:pub.10.1007/978-3-642-32589-2_50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041573106
164 https://doi.org/10.1007/978-3-642-32589-2_50
165 rdf:type schema:CreativeWork
166 https://doi.org/10.1016/0304-3975(82)90009-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003269055
167 rdf:type schema:CreativeWork
168 https://doi.org/10.1016/j.ic.2010.12.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018707872
169 rdf:type schema:CreativeWork
170 https://doi.org/10.1016/j.scico.2005.02.009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014742386
171 rdf:type schema:CreativeWork
172 https://doi.org/10.1016/s1571-0661(05)80426-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013019919
173 rdf:type schema:CreativeWork
174 https://doi.org/10.1109/lics.2008.34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094035074
175 rdf:type schema:CreativeWork
176 https://doi.org/10.1109/lics.2011.15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095750847
177 rdf:type schema:CreativeWork
178 https://doi.org/10.1145/322234.322243 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021206590
179 rdf:type schema:CreativeWork
180 https://doi.org/10.1145/503272.503274 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051268205
181 rdf:type schema:CreativeWork
182 https://www.grid.ac/institutes/grid.462842.e schema:alternateName Laboratoire d'Informatique Algorithmique: Fondements et Applications
183 schema:name LIAFA, Université Paris Diderot – Paris 7 & CNRS, France
184 rdf:type schema:Organization
185 https://www.grid.ac/institutes/grid.462940.d schema:alternateName Laboratoire d'Informatique Gaspard-Monge
186 schema:name LIGM, Université Paris-Est & CNRS, France
187 rdf:type schema:Organization
 




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


...