Decidability results in automata and process theory View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1996

AUTHORS

Yoram Hirshfeld , Faron Moller

ABSTRACT

N/A

PAGES

102-148

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-60915-6_4

DOI

http://dx.doi.org/10.1007/3-540-60915-6_4

DIMENSIONS

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


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": "School of Mathematical Sciences, Tel Aviv University, 69978, Ramat-Aviv, Israel", 
          "id": "http://www.grid.ac/institutes/grid.12136.37", 
          "name": [
            "School of Mathematical Sciences, Tel Aviv University, 69978, Ramat-Aviv, Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hirshfeld", 
        "givenName": "Yoram", 
        "id": "sg:person.013456371571.52", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013456371571.52"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Teleinformatics, Kungl Tekniska H\u00f6gskolan, S-164 40, Kista, Sweden", 
          "id": "http://www.grid.ac/institutes/grid.5037.1", 
          "name": [
            "Department of Teleinformatics, Kungl Tekniska H\u00f6gskolan, S-164 40, Kista, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "editor": [
      {
        "familyName": "Moller", 
        "givenName": "Faron", 
        "type": "Person"
      }, 
      {
        "familyName": "Birtwistle", 
        "givenName": "Graham", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-60915-6_4", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-60915-5", 
        "978-3-540-49675-5"
      ], 
      "name": "Logics for Concurrency", 
      "type": "Book"
    }, 
    "keywords": [
      "process theory", 
      "theory", 
      "decidability", 
      "automata"
    ], 
    "name": "Decidability results in automata and process theory", 
    "pagination": "102-148", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1036248328"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-60915-6_4"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-60915-6_4", 
      "https://app.dimensions.ai/details/publication/pub.1036248328"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:41", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_118.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-60915-6_4"
  }
]
 

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/3-540-60915-6_4'

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/3-540-60915-6_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-60915-6_4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-60915-6_4'


 

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

70 TRIPLES      21 PREDICATES      27 URIs      22 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-60915-6_4 schema:author Nd050c91cae804c15b4d7c812127ebbb4
2 schema:datePublished 1996
3 schema:datePublishedReg 1996-01-01
4 schema:editor N7071c9e808d74a058feda8294b6ddc4c
5 schema:genre chapter
6 schema:inLanguage en
7 schema:isAccessibleForFree true
8 schema:isPartOf N29a040720118499b990d93a058c1e3a0
9 schema:keywords automata
10 decidability
11 process theory
12 theory
13 schema:name Decidability results in automata and process theory
14 schema:pagination 102-148
15 schema:productId N0e9a88f727f943f1b40459e50009b126
16 Na2311e961c5a4c94be7c05c1d3499afc
17 schema:publisher N3a518babcdf144bb9360e8db54e08a97
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036248328
19 https://doi.org/10.1007/3-540-60915-6_4
20 schema:sdDatePublished 2022-05-20T07:41
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Ndd837b4856554b01a4643b3090b43b7d
23 schema:url https://doi.org/10.1007/3-540-60915-6_4
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N0e9a88f727f943f1b40459e50009b126 schema:name doi
28 schema:value 10.1007/3-540-60915-6_4
29 rdf:type schema:PropertyValue
30 N29a040720118499b990d93a058c1e3a0 schema:isbn 978-3-540-49675-5
31 978-3-540-60915-5
32 schema:name Logics for Concurrency
33 rdf:type schema:Book
34 N3a518babcdf144bb9360e8db54e08a97 schema:name Springer Nature
35 rdf:type schema:Organisation
36 N4bd0156d1e5c491594191f4b665902f6 schema:familyName Moller
37 schema:givenName Faron
38 rdf:type schema:Person
39 N7071c9e808d74a058feda8294b6ddc4c rdf:first N4bd0156d1e5c491594191f4b665902f6
40 rdf:rest N851f15ee991b4916b20ab6a50bcc276d
41 N851f15ee991b4916b20ab6a50bcc276d rdf:first Nb7b6450c98424c599f360dd03ca629e9
42 rdf:rest rdf:nil
43 N8fd36aa2cf3f49fba30aa63a5e680461 rdf:first sg:person.010425236217.29
44 rdf:rest rdf:nil
45 Na2311e961c5a4c94be7c05c1d3499afc schema:name dimensions_id
46 schema:value pub.1036248328
47 rdf:type schema:PropertyValue
48 Nb7b6450c98424c599f360dd03ca629e9 schema:familyName Birtwistle
49 schema:givenName Graham
50 rdf:type schema:Person
51 Nd050c91cae804c15b4d7c812127ebbb4 rdf:first sg:person.013456371571.52
52 rdf:rest N8fd36aa2cf3f49fba30aa63a5e680461
53 Ndd837b4856554b01a4643b3090b43b7d schema:name Springer Nature - SN SciGraph project
54 rdf:type schema:Organization
55 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.5037.1
56 schema:familyName Moller
57 schema:givenName Faron
58 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
59 rdf:type schema:Person
60 sg:person.013456371571.52 schema:affiliation grid-institutes:grid.12136.37
61 schema:familyName Hirshfeld
62 schema:givenName Yoram
63 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013456371571.52
64 rdf:type schema:Person
65 grid-institutes:grid.12136.37 schema:alternateName School of Mathematical Sciences, Tel Aviv University, 69978, Ramat-Aviv, Israel
66 schema:name School of Mathematical Sciences, Tel Aviv University, 69978, Ramat-Aviv, Israel
67 rdf:type schema:Organization
68 grid-institutes:grid.5037.1 schema:alternateName Department of Teleinformatics, Kungl Tekniska Högskolan, S-164 40, Kista, Sweden
69 schema:name Department of Teleinformatics, Kungl Tekniska Högskolan, S-164 40, Kista, Sweden
70 rdf:type schema:Organization
 




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


...