$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017

AUTHORS

Luca Paolini , Margherita Zorzi

ABSTRACT

We propose qPCF, a functional language able to define and manipulate quantum circuits in an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” languages, inspired to the QRAM model. Ideally, qPCF computes finite circuit descriptions which are offloaded to a quantum co-processor (i.e. a quantum device) for the execution. qPCF extends \(\text {PCF}\) with a new kind of datatype: quantum circuits. The typing of qPCF is quite different from the mainstream of “quantum data & classical control” languages that involves linear/exponential modalities. qPCF uses a simple form of dependent types to manage circuits and an implicit form of monad to manage quantum states via a destructive-measurement operator. More... »

PAGES

455-469

References to SciGraph publications

  • 1992. Advanced Linear Algebra in NONE
  • 2014. Quantum State Transformations and Branching Distributed Temporal Logic in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION
  • 2013. Non-determinism, Non-termination and the Strong Normalization of System T in TYPED LAMBDA CALCULI AND APPLICATIONS
  • 2009-02. Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families in QUANTUM INFORMATION PROCESSING
  • 2006. An Operational Characterization of Strong Normalization in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2008. Advanced Linear Algebra in NONE
  • Book

    TITLE

    Theory and Applications of Models of Computation

    ISBN

    978-3-319-55910-0
    978-3-319-55911-7

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_33

    DOI

    http://dx.doi.org/10.1007/978-3-319-55911-7_33

    DIMENSIONS

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


    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/0206", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Quantum Physics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/02", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Physical Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Turin", 
              "id": "https://www.grid.ac/institutes/grid.7605.4", 
              "name": [
                "University of Torino"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Paolini", 
            "givenName": "Luca", 
            "id": "sg:person.011754225527.43", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011754225527.43"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Verona", 
              "id": "https://www.grid.ac/institutes/grid.5611.3", 
              "name": [
                "University of Verona"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Zorzi", 
            "givenName": "Margherita", 
            "id": "sg:person.012467067616.36", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012467067616.36"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-1-4757-2178-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000416259", 
              "https://doi.org/10.1007/978-1-4757-2178-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4757-2178-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000416259", 
              "https://doi.org/10.1007/978-1-4757-2178-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-0-387-72831-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003255058", 
              "https://doi.org/10.1007/978-0-387-72831-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-0-387-72831-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003255058", 
              "https://doi.org/10.1007/978-0-387-72831-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11128-008-0091-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010122312", 
              "https://doi.org/10.1007/s11128-008-0091-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38946-7_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017886386", 
              "https://doi.org/10.1007/978-3-642-38946-7_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2011.01.015", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018422342"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2034773.2034822", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023692668"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129506005238", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024700937"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129506005238", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024700937"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129506005238", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024700937"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11690634_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031508513", 
              "https://doi.org/10.1007/11690634_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11690634_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031508513", 
              "https://doi.org/10.1007/11690634_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129514000401", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033069665"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9781139193313.005", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035626161"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-44145-9_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037377189", 
              "https://doi.org/10.1007/978-3-662-44145-9_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129514000425", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037597506"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s096012950800741x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038297424"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s096012950800741x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038297424"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s096012950800741x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038297424"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2699415", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040604095"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2011.01.035", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041048277"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129504004256", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043664405"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129504004256", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043664405"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2016.03.016", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047993691"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2009.07.045", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048043071"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2017.01.007", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051289202"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(77)90044-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1054559493"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1051/ita/2012012", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1056971928"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tcad.2003.811448", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061536869"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ismvl.2008.36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094498210"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2011.26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094745064"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2535838.2535879", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098915369"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2017", 
        "datePublishedReg": "2017-01-01", 
        "description": "We propose qPCF, a functional language able to define and manipulate quantum circuits in an easy and intuitive way. qPCF follows the tradition of \u201cquantum data & classical control\u201d languages, inspired to the QRAM model. Ideally, qPCF computes finite circuit descriptions which are offloaded to a quantum co-processor (i.e. a quantum device) for the execution. qPCF extends \\(\\text {PCF}\\) with a new kind of datatype: quantum circuits. The typing of qPCF is quite different from the mainstream of \u201cquantum data & classical control\u201d languages that involves linear/exponential modalities. qPCF uses a simple form of dependent types to manage circuits and an implicit form of monad to manage quantum states via a destructive-measurement operator.", 
        "editor": [
          {
            "familyName": "Gopal", 
            "givenName": "T.V.", 
            "type": "Person"
          }, 
          {
            "familyName": "J\u00e4ger", 
            "givenName": "Gerhard", 
            "type": "Person"
          }, 
          {
            "familyName": "Steila", 
            "givenName": "Silvia", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-55911-7_33", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-55910-0", 
            "978-3-319-55911-7"
          ], 
          "name": "Theory and Applications of Models of Computation", 
          "type": "Book"
        }, 
        "name": "$$\\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations", 
        "pagination": "455-469", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-55911-7_33"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "68114c0e0d5e5c44c9a17eacbc58947e43c65bc435892c11d596e471d409cb2f"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1085572587"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-55911-7_33", 
          "https://app.dimensions.ai/details/publication/pub.1085572587"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T11:13", 
        "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_00000600.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-55911-7_33"
      }
    ]
     

    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-319-55911-7_33'

    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-319-55911-7_33'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_33'

    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-319-55911-7_33'


     

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

    166 TRIPLES      23 PREDICATES      52 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-55911-7_33 schema:about anzsrc-for:02
    2 anzsrc-for:0206
    3 schema:author N39d8a523bea748818b1982fcec401013
    4 schema:citation sg:pub.10.1007/11690634_25
    5 sg:pub.10.1007/978-0-387-72831-5
    6 sg:pub.10.1007/978-1-4757-2178-2
    7 sg:pub.10.1007/978-3-642-38946-7_5
    8 sg:pub.10.1007/978-3-662-44145-9_1
    9 sg:pub.10.1007/s11128-008-0091-8
    10 https://doi.org/10.1016/0304-3975(77)90044-5
    11 https://doi.org/10.1016/j.entcs.2011.01.015
    12 https://doi.org/10.1016/j.entcs.2011.01.035
    13 https://doi.org/10.1016/j.entcs.2016.03.016
    14 https://doi.org/10.1016/j.ic.2017.01.007
    15 https://doi.org/10.1016/j.tcs.2009.07.045
    16 https://doi.org/10.1017/cbo9781139193313.005
    17 https://doi.org/10.1017/s0960129504004256
    18 https://doi.org/10.1017/s0960129506005238
    19 https://doi.org/10.1017/s096012950800741x
    20 https://doi.org/10.1017/s0960129514000401
    21 https://doi.org/10.1017/s0960129514000425
    22 https://doi.org/10.1051/ita/2012012
    23 https://doi.org/10.1109/ismvl.2008.36
    24 https://doi.org/10.1109/lics.2011.26
    25 https://doi.org/10.1109/tcad.2003.811448
    26 https://doi.org/10.1145/2034773.2034822
    27 https://doi.org/10.1145/2535838.2535879
    28 https://doi.org/10.1145/2699415
    29 schema:datePublished 2017
    30 schema:datePublishedReg 2017-01-01
    31 schema:description We propose qPCF, a functional language able to define and manipulate quantum circuits in an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” languages, inspired to the QRAM model. Ideally, qPCF computes finite circuit descriptions which are offloaded to a quantum co-processor (i.e. a quantum device) for the execution. qPCF extends \(\text {PCF}\) with a new kind of datatype: quantum circuits. The typing of qPCF is quite different from the mainstream of “quantum data & classical control” languages that involves linear/exponential modalities. qPCF uses a simple form of dependent types to manage circuits and an implicit form of monad to manage quantum states via a destructive-measurement operator.
    32 schema:editor N34193a715732473284fca1b7a1437776
    33 schema:genre chapter
    34 schema:inLanguage en
    35 schema:isAccessibleForFree false
    36 schema:isPartOf N1d3d47631b284ba3b8f301172ba5d609
    37 schema:name $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations
    38 schema:pagination 455-469
    39 schema:productId N0246a0cc2e02442ebeb662309807e68c
    40 N3427c30294d34b3ba0bbb96ad20f0fe2
    41 N4c66201a599141d39cbcfa9cd2463687
    42 schema:publisher Nc82d814a6dd841af8b4b9c7df4e194ae
    43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085572587
    44 https://doi.org/10.1007/978-3-319-55911-7_33
    45 schema:sdDatePublished 2019-04-15T11:13
    46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    47 schema:sdPublisher N0f0e9fe90ee246b4a5530f830e421744
    48 schema:url http://link.springer.com/10.1007/978-3-319-55911-7_33
    49 sgo:license sg:explorer/license/
    50 sgo:sdDataset chapters
    51 rdf:type schema:Chapter
    52 N0246a0cc2e02442ebeb662309807e68c schema:name doi
    53 schema:value 10.1007/978-3-319-55911-7_33
    54 rdf:type schema:PropertyValue
    55 N0f0e9fe90ee246b4a5530f830e421744 schema:name Springer Nature - SN SciGraph project
    56 rdf:type schema:Organization
    57 N1254a27bbf554a76a621cc10dd23b89b schema:familyName Gopal
    58 schema:givenName T.V.
    59 rdf:type schema:Person
    60 N1d3d47631b284ba3b8f301172ba5d609 schema:isbn 978-3-319-55910-0
    61 978-3-319-55911-7
    62 schema:name Theory and Applications of Models of Computation
    63 rdf:type schema:Book
    64 N34193a715732473284fca1b7a1437776 rdf:first N1254a27bbf554a76a621cc10dd23b89b
    65 rdf:rest N587c709e8ad943bb9e91dbddf249737d
    66 N3427c30294d34b3ba0bbb96ad20f0fe2 schema:name dimensions_id
    67 schema:value pub.1085572587
    68 rdf:type schema:PropertyValue
    69 N39d8a523bea748818b1982fcec401013 rdf:first sg:person.011754225527.43
    70 rdf:rest N6208a3fda3364e42b849f4d82087f542
    71 N4c66201a599141d39cbcfa9cd2463687 schema:name readcube_id
    72 schema:value 68114c0e0d5e5c44c9a17eacbc58947e43c65bc435892c11d596e471d409cb2f
    73 rdf:type schema:PropertyValue
    74 N587c709e8ad943bb9e91dbddf249737d rdf:first N625548f171b142f19e86007c43a05e24
    75 rdf:rest Nf8d4583cd9654bc180b6eb45d635f13d
    76 N6208a3fda3364e42b849f4d82087f542 rdf:first sg:person.012467067616.36
    77 rdf:rest rdf:nil
    78 N625548f171b142f19e86007c43a05e24 schema:familyName Jäger
    79 schema:givenName Gerhard
    80 rdf:type schema:Person
    81 N911b846fbe384a47b0e1e283073479fa schema:familyName Steila
    82 schema:givenName Silvia
    83 rdf:type schema:Person
    84 Nc82d814a6dd841af8b4b9c7df4e194ae schema:location Cham
    85 schema:name Springer International Publishing
    86 rdf:type schema:Organisation
    87 Nf8d4583cd9654bc180b6eb45d635f13d rdf:first N911b846fbe384a47b0e1e283073479fa
    88 rdf:rest rdf:nil
    89 anzsrc-for:02 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Physical Sciences
    91 rdf:type schema:DefinedTerm
    92 anzsrc-for:0206 schema:inDefinedTermSet anzsrc-for:
    93 schema:name Quantum Physics
    94 rdf:type schema:DefinedTerm
    95 sg:person.011754225527.43 schema:affiliation https://www.grid.ac/institutes/grid.7605.4
    96 schema:familyName Paolini
    97 schema:givenName Luca
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011754225527.43
    99 rdf:type schema:Person
    100 sg:person.012467067616.36 schema:affiliation https://www.grid.ac/institutes/grid.5611.3
    101 schema:familyName Zorzi
    102 schema:givenName Margherita
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012467067616.36
    104 rdf:type schema:Person
    105 sg:pub.10.1007/11690634_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031508513
    106 https://doi.org/10.1007/11690634_25
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/978-0-387-72831-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003255058
    109 https://doi.org/10.1007/978-0-387-72831-5
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-1-4757-2178-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000416259
    112 https://doi.org/10.1007/978-1-4757-2178-2
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-642-38946-7_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017886386
    115 https://doi.org/10.1007/978-3-642-38946-7_5
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/978-3-662-44145-9_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037377189
    118 https://doi.org/10.1007/978-3-662-44145-9_1
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/s11128-008-0091-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010122312
    121 https://doi.org/10.1007/s11128-008-0091-8
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1016/0304-3975(77)90044-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1054559493
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1016/j.entcs.2011.01.015 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018422342
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1016/j.entcs.2011.01.035 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041048277
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1016/j.entcs.2016.03.016 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047993691
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1016/j.ic.2017.01.007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051289202
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1016/j.tcs.2009.07.045 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048043071
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1017/cbo9781139193313.005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035626161
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1017/s0960129504004256 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043664405
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1017/s0960129506005238 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024700937
    140 rdf:type schema:CreativeWork
    141 https://doi.org/10.1017/s096012950800741x schema:sameAs https://app.dimensions.ai/details/publication/pub.1038297424
    142 rdf:type schema:CreativeWork
    143 https://doi.org/10.1017/s0960129514000401 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033069665
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1017/s0960129514000425 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037597506
    146 rdf:type schema:CreativeWork
    147 https://doi.org/10.1051/ita/2012012 schema:sameAs https://app.dimensions.ai/details/publication/pub.1056971928
    148 rdf:type schema:CreativeWork
    149 https://doi.org/10.1109/ismvl.2008.36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094498210
    150 rdf:type schema:CreativeWork
    151 https://doi.org/10.1109/lics.2011.26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094745064
    152 rdf:type schema:CreativeWork
    153 https://doi.org/10.1109/tcad.2003.811448 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061536869
    154 rdf:type schema:CreativeWork
    155 https://doi.org/10.1145/2034773.2034822 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023692668
    156 rdf:type schema:CreativeWork
    157 https://doi.org/10.1145/2535838.2535879 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098915369
    158 rdf:type schema:CreativeWork
    159 https://doi.org/10.1145/2699415 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040604095
    160 rdf:type schema:CreativeWork
    161 https://www.grid.ac/institutes/grid.5611.3 schema:alternateName University of Verona
    162 schema:name University of Verona
    163 rdf:type schema:Organization
    164 https://www.grid.ac/institutes/grid.7605.4 schema:alternateName University of Turin
    165 schema:name University of Torino
    166 rdf:type schema:Organization
     




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


    ...