A Characterization of Alternating Log Time by First Order Functional Programs View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

Guillaume Bonfante , Jean-Yves Marion , Romain Péchoux

ABSTRACT

We a give an intrinsic characterization of the class of functions which are computable in NC1 that is by a uniform, logarithmic depth and polynomial size family circuit. Recall that the class of functions in ALogTime, that is in logarithmic time on an Alternating Turing Machine, is NC1. Our characterization is in terms of first order functional programming languages. We define measure-tools called Sup-interpretations, which allow to give space and time bounds and allow also to capture a lot of program schemas. This study is part of a research on static analysis in order to predict program resources. It is related to the notion of Quasi-interpretations and belongs to the implicit computational complexity line of research. More... »

PAGES

90-104

Book

TITLE

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN

978-3-540-48281-9
978-3-540-48282-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11916277_7

DOI

http://dx.doi.org/10.1007/11916277_7

DIMENSIONS

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


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": "\u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy", 
          "id": "https://www.grid.ac/institutes/grid.473477.4", 
          "name": [
            "Loria-INPL, \u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy, B.P. 239, 54506 Cedex, Vandoeuvre-l\u00e8s-Nancy, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bonfante", 
        "givenName": "Guillaume", 
        "id": "sg:person.010426674211.24", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010426674211.24"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "\u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy", 
          "id": "https://www.grid.ac/institutes/grid.473477.4", 
          "name": [
            "Loria-INPL, \u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy, B.P. 239, 54506 Cedex, Vandoeuvre-l\u00e8s-Nancy, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Marion", 
        "givenName": "Jean-Yves", 
        "id": "sg:person.016702671367.99", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016702671367.99"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "\u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy", 
          "id": "https://www.grid.ac/institutes/grid.473477.4", 
          "name": [
            "Loria-INPL, \u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy, B.P. 239, 54506 Cedex, Vandoeuvre-l\u00e8s-Nancy, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "P\u00e9choux", 
        "givenName": "Romain", 
        "id": "sg:person.016241557431.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016241557431.75"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/s0019-9958(85)80041-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000338483"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/346048.346051", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005765514"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11874683_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006062970", 
          "https://doi.org/10.1007/11874683_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11874683_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006062970", 
          "https://doi.org/10.1007/11874683_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(90)90022-d", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007070716"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01201998", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007256989", 
          "https://doi.org/10.1007/bf01201998"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01201998", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007256989", 
          "https://doi.org/10.1007/bf01201998"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-30124-0_22", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007267443", 
          "https://doi.org/10.1007/978-3-540-30124-0_22"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-30124-0_22", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007267443", 
          "https://doi.org/10.1007/978-3-540-30124-0_22"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(99)00209-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009612334"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01744431", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011469743", 
          "https://doi.org/10.1007/bf01744431"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01744431", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011469743", 
          "https://doi.org/10.1007/bf01744431"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/360204.360210", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013482748"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01202288", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015506435", 
          "https://doi.org/10.1007/bf01202288"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01202288", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015506435", 
          "https://doi.org/10.1007/bf01202288"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0890-5401(90)90063-n", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017490867"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11737414_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018767695", 
          "https://doi.org/10.1007/11737414_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11737414_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018767695", 
          "https://doi.org/10.1007/11737414_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-60178-3_83", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019013670", 
          "https://doi.org/10.1007/3-540-60178-3_83"
        ], 
        "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/3-540-60178-3_81", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029652351", 
          "https://doi.org/10.1007/3-540-60178-3_81"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/28395.28409", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037335279"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11494645_33", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038435051", 
          "https://doi.org/10.1007/11494645_33"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11494645_33", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038435051", 
          "https://doi.org/10.1007/11494645_33"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0168-0072(83)90038-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1045452111"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-28644-8_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047793489", 
          "https://doi.org/10.1007/978-3-540-28644-8_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-28644-8_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047793489", 
          "https://doi.org/10.1007/978-3-540-28644-8_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(99)00207-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047998683"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0037112", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050153123", 
          "https://doi.org/10.1007/bfb0037112"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11575467_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050729717", 
          "https://doi.org/10.1007/11575467_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11575467_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050729717", 
          "https://doi.org/10.1007/11575467_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(81)90038-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053111440"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/s0097539704445597", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062879554"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/sfcs.1998.743522", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095275026"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "We a give an intrinsic characterization of the class of functions which are computable in NC1 that is by a uniform, logarithmic depth and polynomial size family circuit. Recall that the class of functions in ALogTime, that is in logarithmic time on an Alternating Turing Machine, is NC1. Our characterization is in terms of first order functional programming languages. We define measure-tools called Sup-interpretations, which allow to give space and time bounds and allow also to capture a lot of program schemas. This study is part of a research on static analysis in order to predict program resources. It is related to the notion of Quasi-interpretations and belongs to the implicit computational complexity line of research.", 
    "editor": [
      {
        "familyName": "Hermann", 
        "givenName": "Miki", 
        "type": "Person"
      }, 
      {
        "familyName": "Voronkov", 
        "givenName": "Andrei", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11916277_7", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-48281-9", 
        "978-3-540-48282-6"
      ], 
      "name": "Logic for Programming, Artificial Intelligence, and Reasoning", 
      "type": "Book"
    }, 
    "name": "A Characterization of Alternating Log Time by First Order Functional Programs", 
    "pagination": "90-104", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1012388623"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11916277_7"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "3b05c6e32a8870539ad7145cb9edd8da54c25afd33ae996a067a33d5171f236b"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11916277_7", 
      "https://app.dimensions.ai/details/publication/pub.1012388623"
    ], 
    "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_57865_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F11916277_7"
  }
]
 

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/11916277_7'

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/11916277_7'

Turtle is a human-readable linked data format.

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

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

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


 

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

171 TRIPLES      23 PREDICATES      52 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11916277_7 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nbc821b9dd8894b48a8926ff82b42df11
4 schema:citation sg:pub.10.1007/11494645_33
5 sg:pub.10.1007/11575467_17
6 sg:pub.10.1007/11737414_12
7 sg:pub.10.1007/11874683_14
8 sg:pub.10.1007/3-540-60178-3_81
9 sg:pub.10.1007/3-540-60178-3_83
10 sg:pub.10.1007/978-3-540-28644-8_5
11 sg:pub.10.1007/978-3-540-30124-0_22
12 sg:pub.10.1007/bf01201998
13 sg:pub.10.1007/bf01202288
14 sg:pub.10.1007/bf01744431
15 sg:pub.10.1007/bfb0037112
16 https://doi.org/10.1016/0022-0000(81)90038-6
17 https://doi.org/10.1016/0022-0000(90)90022-d
18 https://doi.org/10.1016/0168-0072(83)90038-6
19 https://doi.org/10.1016/0890-5401(90)90063-n
20 https://doi.org/10.1016/s0019-9958(85)80041-3
21 https://doi.org/10.1016/s0304-3975(99)00207-8
22 https://doi.org/10.1016/s0304-3975(99)00209-1
23 https://doi.org/10.1109/sfcs.1998.743522
24 https://doi.org/10.1137/s0097539704445597
25 https://doi.org/10.1145/28395.28409
26 https://doi.org/10.1145/322234.322243
27 https://doi.org/10.1145/346048.346051
28 https://doi.org/10.1145/360204.360210
29 schema:datePublished 2006
30 schema:datePublishedReg 2006-01-01
31 schema:description We a give an intrinsic characterization of the class of functions which are computable in NC1 that is by a uniform, logarithmic depth and polynomial size family circuit. Recall that the class of functions in ALogTime, that is in logarithmic time on an Alternating Turing Machine, is NC1. Our characterization is in terms of first order functional programming languages. We define measure-tools called Sup-interpretations, which allow to give space and time bounds and allow also to capture a lot of program schemas. This study is part of a research on static analysis in order to predict program resources. It is related to the notion of Quasi-interpretations and belongs to the implicit computational complexity line of research.
32 schema:editor Nf4031385e3fa4516ab0cf8d9bbf263f5
33 schema:genre chapter
34 schema:inLanguage en
35 schema:isAccessibleForFree false
36 schema:isPartOf N64263c7a9c364b61ad6a4f739e5793ba
37 schema:name A Characterization of Alternating Log Time by First Order Functional Programs
38 schema:pagination 90-104
39 schema:productId N0d266c6aa72341ec8f0f040f95c830b3
40 N4d950dc2641846cf90ca66199ad6353c
41 Nbbd049851c8e482b9a2edd056d781674
42 schema:publisher N15565c4ddae342af9d4a044328833407
43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012388623
44 https://doi.org/10.1007/11916277_7
45 schema:sdDatePublished 2019-04-16T07:29
46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
47 schema:sdPublisher N6cfac44d09fe4cceae71bf559af54306
48 schema:url https://link.springer.com/10.1007%2F11916277_7
49 sgo:license sg:explorer/license/
50 sgo:sdDataset chapters
51 rdf:type schema:Chapter
52 N0d266c6aa72341ec8f0f040f95c830b3 schema:name doi
53 schema:value 10.1007/11916277_7
54 rdf:type schema:PropertyValue
55 N0d4351cda7134f9c9e599884d47b8f7c rdf:first N6d03fed86db14200a81f6d5eeb24d301
56 rdf:rest rdf:nil
57 N15565c4ddae342af9d4a044328833407 schema:location Berlin, Heidelberg
58 schema:name Springer Berlin Heidelberg
59 rdf:type schema:Organisation
60 N4d950dc2641846cf90ca66199ad6353c schema:name readcube_id
61 schema:value 3b05c6e32a8870539ad7145cb9edd8da54c25afd33ae996a067a33d5171f236b
62 rdf:type schema:PropertyValue
63 N535c4d9d10b6474fa43a7ba12670bfcc schema:familyName Hermann
64 schema:givenName Miki
65 rdf:type schema:Person
66 N64263c7a9c364b61ad6a4f739e5793ba schema:isbn 978-3-540-48281-9
67 978-3-540-48282-6
68 schema:name Logic for Programming, Artificial Intelligence, and Reasoning
69 rdf:type schema:Book
70 N6cfac44d09fe4cceae71bf559af54306 schema:name Springer Nature - SN SciGraph project
71 rdf:type schema:Organization
72 N6d03fed86db14200a81f6d5eeb24d301 schema:familyName Voronkov
73 schema:givenName Andrei
74 rdf:type schema:Person
75 N98b2f5932294457896e189f25c15d3aa rdf:first sg:person.016241557431.75
76 rdf:rest rdf:nil
77 Nbbd049851c8e482b9a2edd056d781674 schema:name dimensions_id
78 schema:value pub.1012388623
79 rdf:type schema:PropertyValue
80 Nbc821b9dd8894b48a8926ff82b42df11 rdf:first sg:person.010426674211.24
81 rdf:rest Nc3eb3a91fe76434c8805944ee86bcf5a
82 Nc3eb3a91fe76434c8805944ee86bcf5a rdf:first sg:person.016702671367.99
83 rdf:rest N98b2f5932294457896e189f25c15d3aa
84 Nf4031385e3fa4516ab0cf8d9bbf263f5 rdf:first N535c4d9d10b6474fa43a7ba12670bfcc
85 rdf:rest N0d4351cda7134f9c9e599884d47b8f7c
86 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
87 schema:name Information and Computing Sciences
88 rdf:type schema:DefinedTerm
89 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
90 schema:name Computation Theory and Mathematics
91 rdf:type schema:DefinedTerm
92 sg:person.010426674211.24 schema:affiliation https://www.grid.ac/institutes/grid.473477.4
93 schema:familyName Bonfante
94 schema:givenName Guillaume
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010426674211.24
96 rdf:type schema:Person
97 sg:person.016241557431.75 schema:affiliation https://www.grid.ac/institutes/grid.473477.4
98 schema:familyName Péchoux
99 schema:givenName Romain
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016241557431.75
101 rdf:type schema:Person
102 sg:person.016702671367.99 schema:affiliation https://www.grid.ac/institutes/grid.473477.4
103 schema:familyName Marion
104 schema:givenName Jean-Yves
105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016702671367.99
106 rdf:type schema:Person
107 sg:pub.10.1007/11494645_33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038435051
108 https://doi.org/10.1007/11494645_33
109 rdf:type schema:CreativeWork
110 sg:pub.10.1007/11575467_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050729717
111 https://doi.org/10.1007/11575467_17
112 rdf:type schema:CreativeWork
113 sg:pub.10.1007/11737414_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018767695
114 https://doi.org/10.1007/11737414_12
115 rdf:type schema:CreativeWork
116 sg:pub.10.1007/11874683_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006062970
117 https://doi.org/10.1007/11874683_14
118 rdf:type schema:CreativeWork
119 sg:pub.10.1007/3-540-60178-3_81 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029652351
120 https://doi.org/10.1007/3-540-60178-3_81
121 rdf:type schema:CreativeWork
122 sg:pub.10.1007/3-540-60178-3_83 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019013670
123 https://doi.org/10.1007/3-540-60178-3_83
124 rdf:type schema:CreativeWork
125 sg:pub.10.1007/978-3-540-28644-8_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047793489
126 https://doi.org/10.1007/978-3-540-28644-8_5
127 rdf:type schema:CreativeWork
128 sg:pub.10.1007/978-3-540-30124-0_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007267443
129 https://doi.org/10.1007/978-3-540-30124-0_22
130 rdf:type schema:CreativeWork
131 sg:pub.10.1007/bf01201998 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007256989
132 https://doi.org/10.1007/bf01201998
133 rdf:type schema:CreativeWork
134 sg:pub.10.1007/bf01202288 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015506435
135 https://doi.org/10.1007/bf01202288
136 rdf:type schema:CreativeWork
137 sg:pub.10.1007/bf01744431 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011469743
138 https://doi.org/10.1007/bf01744431
139 rdf:type schema:CreativeWork
140 sg:pub.10.1007/bfb0037112 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050153123
141 https://doi.org/10.1007/bfb0037112
142 rdf:type schema:CreativeWork
143 https://doi.org/10.1016/0022-0000(81)90038-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053111440
144 rdf:type schema:CreativeWork
145 https://doi.org/10.1016/0022-0000(90)90022-d schema:sameAs https://app.dimensions.ai/details/publication/pub.1007070716
146 rdf:type schema:CreativeWork
147 https://doi.org/10.1016/0168-0072(83)90038-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045452111
148 rdf:type schema:CreativeWork
149 https://doi.org/10.1016/0890-5401(90)90063-n schema:sameAs https://app.dimensions.ai/details/publication/pub.1017490867
150 rdf:type schema:CreativeWork
151 https://doi.org/10.1016/s0019-9958(85)80041-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000338483
152 rdf:type schema:CreativeWork
153 https://doi.org/10.1016/s0304-3975(99)00207-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047998683
154 rdf:type schema:CreativeWork
155 https://doi.org/10.1016/s0304-3975(99)00209-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009612334
156 rdf:type schema:CreativeWork
157 https://doi.org/10.1109/sfcs.1998.743522 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095275026
158 rdf:type schema:CreativeWork
159 https://doi.org/10.1137/s0097539704445597 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062879554
160 rdf:type schema:CreativeWork
161 https://doi.org/10.1145/28395.28409 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037335279
162 rdf:type schema:CreativeWork
163 https://doi.org/10.1145/322234.322243 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021206590
164 rdf:type schema:CreativeWork
165 https://doi.org/10.1145/346048.346051 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005765514
166 rdf:type schema:CreativeWork
167 https://doi.org/10.1145/360204.360210 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013482748
168 rdf:type schema:CreativeWork
169 https://www.grid.ac/institutes/grid.473477.4 schema:alternateName École Nationale Supérieure des Mines de Nancy
170 schema:name Loria-INPL, École Nationale Supérieure des Mines de Nancy, B.P. 239, 54506 Cedex, Vandoeuvre-lès-Nancy, France
171 rdf:type schema:Organization
 




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


...