Automata with storage on infinite words View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1989

AUTHORS

Joost Engelfriet , Hendrik Jan Hoogeboom

ABSTRACT

N/A

PAGES

289-303

References to SciGraph publications

  • 1969-12. Decision problems forω-automata in MATHEMATICAL SYSTEMS THEORY
  • Book

    TITLE

    Automata, Languages and Programming

    ISBN

    978-3-540-51371-1
    978-3-540-46201-9

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bfb0035767

    DOI

    http://dx.doi.org/10.1007/bfb0035767

    DIMENSIONS

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


    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", 
        "author": [
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Engelfriet", 
            "givenName": "Joost", 
            "id": "sg:person.014574236321.39", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hoogeboom", 
            "givenName": "Hendrik Jan", 
            "id": "sg:person.013762305654.52", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013762305654.52"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/0304-3975(86)90025-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000223725"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(86)90025-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000223725"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(78)90020-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002211017"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(84)90050-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004431086"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(78)90019-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018128367"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(76)90415-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019637964"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(78)90002-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030223062"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(83)90115-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033057709"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(79)90653-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043121805"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(87)90014-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046201475"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(80)90010-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050666082"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691063", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051741633", 
              "https://doi.org/10.1007/bf01691063"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691063", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051741633", 
              "https://doi.org/10.1007/bf01691063"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691063", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051741633", 
              "https://doi.org/10.1007/bf01691063"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1989", 
        "datePublishedReg": "1989-01-01", 
        "editor": [
          {
            "familyName": "Ausiello", 
            "givenName": "Giorgio", 
            "type": "Person"
          }, 
          {
            "familyName": "Dezani-Ciancaglini", 
            "givenName": "Mariangiola", 
            "type": "Person"
          }, 
          {
            "familyName": "Della Rocca", 
            "givenName": "Simonetta Ronchi", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/bfb0035767", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-51371-1", 
            "978-3-540-46201-9"
          ], 
          "name": "Automata, Languages and Programming", 
          "type": "Book"
        }, 
        "name": "Automata with storage on infinite words", 
        "pagination": "289-303", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bfb0035767"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "5eb819b9ae1367fc9c869bd843d765d5264b7595088bd84050de486380c92f63"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1019880205"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/bfb0035767", 
          "https://app.dimensions.ai/details/publication/pub.1019880205"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T00:48", 
        "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_8700_00000255.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/BFb0035767"
      }
    ]
     

    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/bfb0035767'

    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/bfb0035767'

    Turtle is a human-readable linked data format.

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

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

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


     

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

    107 TRIPLES      21 PREDICATES      35 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bfb0035767 schema:author N234d9c260ea54874af77d09d236f4499
    2 schema:citation sg:pub.10.1007/bf01691063
    3 https://doi.org/10.1016/0022-0000(78)90019-3
    4 https://doi.org/10.1016/0022-0000(80)90010-0
    5 https://doi.org/10.1016/0304-3975(78)90002-6
    6 https://doi.org/10.1016/0304-3975(78)90020-8
    7 https://doi.org/10.1016/0304-3975(83)90115-9
    8 https://doi.org/10.1016/0304-3975(84)90050-1
    9 https://doi.org/10.1016/0304-3975(86)90025-3
    10 https://doi.org/10.1016/0890-5401(87)90014-9
    11 https://doi.org/10.1016/s0019-9958(76)90415-0
    12 https://doi.org/10.1016/s0019-9958(79)90653-3
    13 schema:datePublished 1989
    14 schema:datePublishedReg 1989-01-01
    15 schema:editor Nd3792f003341490baa05902e49d00028
    16 schema:genre chapter
    17 schema:inLanguage en
    18 schema:isAccessibleForFree false
    19 schema:isPartOf N51baa3bf76d04703a427adff1db1ed5b
    20 schema:name Automata with storage on infinite words
    21 schema:pagination 289-303
    22 schema:productId N1b06a24f0b334202afe5bdaf5af8b1d9
    23 N592783899a3d4f2aba48d533c982c739
    24 Nada7e98df3ab49e193308e489259faa1
    25 schema:publisher N0ec317bfd921404c86ca3c1021056011
    26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019880205
    27 https://doi.org/10.1007/bfb0035767
    28 schema:sdDatePublished 2019-04-16T00:48
    29 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    30 schema:sdPublisher N9649c1d225fa4af08a769e294b2a882f
    31 schema:url http://link.springer.com/10.1007/BFb0035767
    32 sgo:license sg:explorer/license/
    33 sgo:sdDataset chapters
    34 rdf:type schema:Chapter
    35 N0ec317bfd921404c86ca3c1021056011 schema:location Berlin, Heidelberg
    36 schema:name Springer Berlin Heidelberg
    37 rdf:type schema:Organisation
    38 N1b06a24f0b334202afe5bdaf5af8b1d9 schema:name doi
    39 schema:value 10.1007/bfb0035767
    40 rdf:type schema:PropertyValue
    41 N234d9c260ea54874af77d09d236f4499 rdf:first sg:person.014574236321.39
    42 rdf:rest N68c05d192c7a4e9bb210ce7221d6b987
    43 N4329405958cc4ca69754b2aeb54d6b52 rdf:first N7202b59cd70e4230899c0ea01700fac6
    44 rdf:rest N843116d0de8942e8a41979089f0415d6
    45 N51baa3bf76d04703a427adff1db1ed5b schema:isbn 978-3-540-46201-9
    46 978-3-540-51371-1
    47 schema:name Automata, Languages and Programming
    48 rdf:type schema:Book
    49 N592783899a3d4f2aba48d533c982c739 schema:name readcube_id
    50 schema:value 5eb819b9ae1367fc9c869bd843d765d5264b7595088bd84050de486380c92f63
    51 rdf:type schema:PropertyValue
    52 N68c05d192c7a4e9bb210ce7221d6b987 rdf:first sg:person.013762305654.52
    53 rdf:rest rdf:nil
    54 N7202b59cd70e4230899c0ea01700fac6 schema:familyName Dezani-Ciancaglini
    55 schema:givenName Mariangiola
    56 rdf:type schema:Person
    57 N843116d0de8942e8a41979089f0415d6 rdf:first Ncbdfce7b7b484b70ad39af7173ae3864
    58 rdf:rest rdf:nil
    59 N9649c1d225fa4af08a769e294b2a882f schema:name Springer Nature - SN SciGraph project
    60 rdf:type schema:Organization
    61 Nada7e98df3ab49e193308e489259faa1 schema:name dimensions_id
    62 schema:value pub.1019880205
    63 rdf:type schema:PropertyValue
    64 Nbe2c434d363d44a099d729be22235301 schema:familyName Ausiello
    65 schema:givenName Giorgio
    66 rdf:type schema:Person
    67 Ncbdfce7b7b484b70ad39af7173ae3864 schema:familyName Della Rocca
    68 schema:givenName Simonetta Ronchi
    69 rdf:type schema:Person
    70 Nd3792f003341490baa05902e49d00028 rdf:first Nbe2c434d363d44a099d729be22235301
    71 rdf:rest N4329405958cc4ca69754b2aeb54d6b52
    72 sg:person.013762305654.52 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    73 schema:familyName Hoogeboom
    74 schema:givenName Hendrik Jan
    75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013762305654.52
    76 rdf:type schema:Person
    77 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    78 schema:familyName Engelfriet
    79 schema:givenName Joost
    80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
    81 rdf:type schema:Person
    82 sg:pub.10.1007/bf01691063 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051741633
    83 https://doi.org/10.1007/bf01691063
    84 rdf:type schema:CreativeWork
    85 https://doi.org/10.1016/0022-0000(78)90019-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018128367
    86 rdf:type schema:CreativeWork
    87 https://doi.org/10.1016/0022-0000(80)90010-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050666082
    88 rdf:type schema:CreativeWork
    89 https://doi.org/10.1016/0304-3975(78)90002-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030223062
    90 rdf:type schema:CreativeWork
    91 https://doi.org/10.1016/0304-3975(78)90020-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002211017
    92 rdf:type schema:CreativeWork
    93 https://doi.org/10.1016/0304-3975(83)90115-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033057709
    94 rdf:type schema:CreativeWork
    95 https://doi.org/10.1016/0304-3975(84)90050-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004431086
    96 rdf:type schema:CreativeWork
    97 https://doi.org/10.1016/0304-3975(86)90025-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000223725
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1016/0890-5401(87)90014-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046201475
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1016/s0019-9958(76)90415-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019637964
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1016/s0019-9958(79)90653-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043121805
    104 rdf:type schema:CreativeWork
    105 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
    106 schema:name Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands
    107 rdf:type schema:Organization
     




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


    ...