$$\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 N46cb1bcc96e04b5aa23391b0923da1af
    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 N216ef99c8b78438d9f0304df46097028
    33 schema:genre chapter
    34 schema:inLanguage en
    35 schema:isAccessibleForFree false
    36 schema:isPartOf N47093270403c431a97496b3cbec399c1
    37 schema:name $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations
    38 schema:pagination 455-469
    39 schema:productId N19b30b38a9f8434e8c46e338e98e2b39
    40 N95baa453f5d84faeb148ee15c7bff33b
    41 Nfa0df2d7ddd049238f3735e06d868877
    42 schema:publisher N64dc14e13c5044b9a117dd1bdcbe5b58
    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 N3ec0411e66ad4e05a71e618eb5512dc0
    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 N19b30b38a9f8434e8c46e338e98e2b39 schema:name readcube_id
    53 schema:value 68114c0e0d5e5c44c9a17eacbc58947e43c65bc435892c11d596e471d409cb2f
    54 rdf:type schema:PropertyValue
    55 N2108f129f7f74ce39574cf6a96fff4e4 schema:familyName Gopal
    56 schema:givenName T.V.
    57 rdf:type schema:Person
    58 N216ef99c8b78438d9f0304df46097028 rdf:first N2108f129f7f74ce39574cf6a96fff4e4
    59 rdf:rest N7b25ae5858804a699380fd153389c963
    60 N3ddef11818b4452dad2f20cff7ecbc4f rdf:first Ncd13378a80d8444e987d1e9ea73f2636
    61 rdf:rest rdf:nil
    62 N3ec0411e66ad4e05a71e618eb5512dc0 schema:name Springer Nature - SN SciGraph project
    63 rdf:type schema:Organization
    64 N46cb1bcc96e04b5aa23391b0923da1af rdf:first sg:person.011754225527.43
    65 rdf:rest Nd715c5a7838e4b8cb5de67fa2be4ac5d
    66 N47093270403c431a97496b3cbec399c1 schema:isbn 978-3-319-55910-0
    67 978-3-319-55911-7
    68 schema:name Theory and Applications of Models of Computation
    69 rdf:type schema:Book
    70 N64dc14e13c5044b9a117dd1bdcbe5b58 schema:location Cham
    71 schema:name Springer International Publishing
    72 rdf:type schema:Organisation
    73 N7b25ae5858804a699380fd153389c963 rdf:first N90e4b1ea36da42718b62019311f5cad3
    74 rdf:rest N3ddef11818b4452dad2f20cff7ecbc4f
    75 N90e4b1ea36da42718b62019311f5cad3 schema:familyName Jäger
    76 schema:givenName Gerhard
    77 rdf:type schema:Person
    78 N95baa453f5d84faeb148ee15c7bff33b schema:name doi
    79 schema:value 10.1007/978-3-319-55911-7_33
    80 rdf:type schema:PropertyValue
    81 Ncd13378a80d8444e987d1e9ea73f2636 schema:familyName Steila
    82 schema:givenName Silvia
    83 rdf:type schema:Person
    84 Nd715c5a7838e4b8cb5de67fa2be4ac5d rdf:first sg:person.012467067616.36
    85 rdf:rest rdf:nil
    86 Nfa0df2d7ddd049238f3735e06d868877 schema:name dimensions_id
    87 schema:value pub.1085572587
    88 rdf:type schema:PropertyValue
    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)


    ...