Theory of Computation


Ontology type: skos:Concept     


Concept Info

NAME

Theory of Computation

Journals max 100 shown

  • Acta Informatica ISSN: 0001-5903, 1432-0525 Springer
  • Algorithmica ISSN: 0178-4617, 1432-0541 Springer
  • Annals of Operations Research ISSN: 0254-5330, 1572-9338 Springer
  • Applicable Algebra in Engineering, Communication and Computing ISSN: 0938-1279, 1432-0622 Springer
  • Applied Categorical Structures ISSN: 0927-2852, 1572-9095 Springer
  • Calcolo ISSN: 0008-0624, 1126-5434 Springer
  • Distributed Computing ISSN: 0178-2770, 1432-0452 Springer
  • Formal Aspects of Computing ISSN: 0934-5043, 1433-299X Springer
  • International Journal of Parallel Programming ISSN: 0885-7458, 1573-7640 Springer
  • International Journal on Software Tools for Technology Transfer ISSN: 1433-2779, 1433-2787 Springer
  • Iran Journal of Computer Science ISSN: 2520-8438, 2520-8446 Springer
  • Journal of Applied Mathematics and Computing ISSN: 1598-5865, 1865-2085 Springer
  • Journal of Combinatorial Optimization ISSN: 1382-6905, 1573-2886 Springer
  • Journal of Computational Neuroscience ISSN: 0929-5313, 1573-6873 Springer
  • Journal of Computer Science and Technology ISSN: 1666-6046, 1666-6038 Springer
  • Journal of Membrane Computing ISSN: 2523-8906, 2523-8914 Springer
  • Journal of Optimization Theory and Applications ISSN: 0022-3239, 1573-2878 Springer
  • Journal on Vehicle Routing Algorithms ISSN: 2367-3591, 2367-3605 Springer
  • Mathematical Programming Computation ISSN: 1867-2949, 1867-2957 Springer
  • Metaheuristics ISSN: 2522-8986, 2522-8994 Springer
  • Minds and Machines ISSN: 0924-6495, 1572-8641 Springer
  • Natural Computing ISSN: 1567-7818, 1572-9796 Springer
  • Numerical Algorithms ISSN: 1017-1398, 1572-9265 Springer
  • SICS Software-Intensive Cyber-Physical Systems ISSN: 2524-8510, 2524-8529 Springer
  • Theory of Computing Systems ISSN: 1432-4350, 1433-0490 Springer
  • 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", 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005", 
        "rdfs:label": null, 
        "sdDataset": "onto_pmc", 
        "skos:broader": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I00001"
          }
        ], 
        "skos:inScheme": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/"
          }
        ], 
        "skos:narrower": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16013"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16048"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16021"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I1603X"
          }
        ], 
        "skos:prefLabel": [
          {
            "@language": "de", 
            "@value": "Theorie der Informationsverarbeitung"
          }, 
          {
            "@language": "en", 
            "@value": "Theory of Computation"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#Concept"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16013", 
        "rdfs:label": null, 
        "sdDataset": "onto_pmc", 
        "skos:broader": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005"
          }
        ], 
        "skos:inScheme": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/"
          }
        ], 
        "skos:prefLabel": [
          {
            "@language": "en", 
            "@value": "Computation by Abstract Devices"
          }, 
          {
            "@language": "de", 
            "@value": "Automatentheorie"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#Concept"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16048", 
        "rdfs:label": null, 
        "sdDataset": "onto_pmc", 
        "skos:broader": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005"
          }
        ], 
        "skos:inScheme": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/"
          }
        ], 
        "skos:prefLabel": [
          {
            "@language": "de", 
            "@value": "Mathematische Logik und Formale Sprachen"
          }, 
          {
            "@language": "en", 
            "@value": "Mathematical Logic and Formal Languages"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#Concept"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16021", 
        "rdfs:label": null, 
        "sdDataset": "onto_pmc", 
        "skos:broader": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005"
          }
        ], 
        "skos:inScheme": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/"
          }
        ], 
        "skos:prefLabel": [
          {
            "@language": "en", 
            "@value": "Algorithm Analysis and Problem Complexity"
          }, 
          {
            "@language": "de", 
            "@value": "Analyse von Algorithmen und Komplexit\u00e4t"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#Concept"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I1603X", 
        "rdfs:label": null, 
        "sdDataset": "onto_pmc", 
        "skos:broader": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005"
          }
        ], 
        "skos:inScheme": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/"
          }
        ], 
        "skos:prefLabel": [
          {
            "@language": "de", 
            "@value": "Logik und Semantik von Programmen"
          }, 
          {
            "@language": "en", 
            "@value": "Logics and Meanings of Programs"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#Concept"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "id": "http://www.w3.org/2004/02/skos/core#Concept", 
        "rdfs:subClassOf": [
          {
            "id": "http://www.w3.org/2004/02/skos/core#Concept"
          }, 
          {
            "id": "http://www.w3.org/2000/01/rdf-schema#Resource"
          }
        ], 
        "sdDataset": "for_codes", 
        "type": [
          "http://www.w3.org/2000/01/rdf-schema#Resource", 
          "http://www.w3.org/2000/01/rdf-schema#Class"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I00001", 
        "rdfs:label": null, 
        "sdDataset": "onto_pmc", 
        "skos:broader": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I"
          }
        ], 
        "skos:inScheme": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/"
          }
        ], 
        "skos:narrower": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I29000"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I17001"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I28000"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I21009"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I14002"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I22005"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I13006"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I26000"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I27000"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I25004"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I24008"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I15009"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I1200X"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I18008"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I23001"
          }
        ], 
        "skos:prefLabel": [
          {
            "@language": "en", 
            "@value": "Computer Science, general"
          }, 
          {
            "@language": "de", 
            "@value": "Informatik, allgemein"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#Concept"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "dcterms:description": [
          {
            "@language": "en", 
            "@value": "The Product Market Codes Taxonomy is a subject classification scheme used for classifying, grouping, and indexing content published by Springer Nature."
          }
        ], 
        "dcterms:title": [
          {
            "@language": "en", 
            "@value": "Product Market Codes Taxonomy"
          }
        ], 
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "owl:versionInfo": [
          {
            "@value": "0.0.10"
          }
        ], 
        "sdDataset": "onto_pmc", 
        "skos:hasTopConcept": [
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/4"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/D"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/5"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/F"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/L"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/8"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/P"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/Y"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/Q"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/G"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/9"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/M"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/1A"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/S"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/Z"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/3"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/C"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/N"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/B"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/J"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/6"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/1B"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/7"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/2"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/A"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/K"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/W"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/R"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/U"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/E"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/O"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/X"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/H"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/1"
          }, 
          {
            "id": "http://scigraph.springernature.com/ontologies/product-market-codes/T"
          }
        ], 
        "type": [
          "http://www.w3.org/2004/02/skos/core#ConceptScheme"
        ]
      }
    ]
     

    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/ontologies/product-market-codes/I16005'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/ontologies/product-market-codes/I16005'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/ontologies/product-market-codes/I16005'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/ontologies/product-market-codes/I16005'


     

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

    103 TRIPLES      7 PREDICATES      12 URIs      3 LITERALS

    Subject Predicate Object
    1 sg:ontologies/product-market-codes/I16005 sgo:license sg:explorer/license/
    2 sgo:sdDataset onto_pmc
    3 rdf:type skos:Concept
    4 skos:broader sg:ontologies/product-market-codes/I00001
    5 skos:inScheme sg:ontologies/product-market-codes/
    6 skos:narrower sg:ontologies/product-market-codes/I16013
    7 sg:ontologies/product-market-codes/I16021
    8 sg:ontologies/product-market-codes/I1603X
    9 sg:ontologies/product-market-codes/I16048
    10 skos:prefLabel Theorie der Informationsverarbeitung
    11 Theory of Computation
    12 sg:ontologies/product-market-codes/ dcterms:description The Product Market Codes Taxonomy is a subject classification scheme used for classifying, grouping, and indexing content published by Springer Nature.
    13 dcterms:title Product Market Codes Taxonomy
    14 sgo:sdDataset onto_pmc
    15 rdf:type skos:ConceptScheme
    16 owl:versionInfo 0.0.10
    17 skos:hasTopConcept sg:ontologies/product-market-codes/1
    18 sg:ontologies/product-market-codes/1A
    19 sg:ontologies/product-market-codes/1B
    20 sg:ontologies/product-market-codes/2
    21 sg:ontologies/product-market-codes/3
    22 sg:ontologies/product-market-codes/4
    23 sg:ontologies/product-market-codes/5
    24 sg:ontologies/product-market-codes/6
    25 sg:ontologies/product-market-codes/7
    26 sg:ontologies/product-market-codes/8
    27 sg:ontologies/product-market-codes/9
    28 sg:ontologies/product-market-codes/A
    29 sg:ontologies/product-market-codes/B
    30 sg:ontologies/product-market-codes/C
    31 sg:ontologies/product-market-codes/D
    32 sg:ontologies/product-market-codes/E
    33 sg:ontologies/product-market-codes/F
    34 sg:ontologies/product-market-codes/G
    35 sg:ontologies/product-market-codes/H
    36 sg:ontologies/product-market-codes/I
    37 sg:ontologies/product-market-codes/J
    38 sg:ontologies/product-market-codes/K
    39 sg:ontologies/product-market-codes/L
    40 sg:ontologies/product-market-codes/M
    41 sg:ontologies/product-market-codes/N
    42 sg:ontologies/product-market-codes/O
    43 sg:ontologies/product-market-codes/P
    44 sg:ontologies/product-market-codes/Q
    45 sg:ontologies/product-market-codes/R
    46 sg:ontologies/product-market-codes/S
    47 sg:ontologies/product-market-codes/T
    48 sg:ontologies/product-market-codes/U
    49 sg:ontologies/product-market-codes/W
    50 sg:ontologies/product-market-codes/X
    51 sg:ontologies/product-market-codes/Y
    52 sg:ontologies/product-market-codes/Z
    53 sg:ontologies/product-market-codes/I00001 sgo:sdDataset onto_pmc
    54 rdf:type skos:Concept
    55 skos:broader sg:ontologies/product-market-codes/I
    56 skos:inScheme sg:ontologies/product-market-codes/
    57 skos:narrower sg:ontologies/product-market-codes/I1200X
    58 sg:ontologies/product-market-codes/I13006
    59 sg:ontologies/product-market-codes/I14002
    60 sg:ontologies/product-market-codes/I15009
    61 sg:ontologies/product-market-codes/I16005
    62 sg:ontologies/product-market-codes/I17001
    63 sg:ontologies/product-market-codes/I18008
    64 sg:ontologies/product-market-codes/I21009
    65 sg:ontologies/product-market-codes/I22005
    66 sg:ontologies/product-market-codes/I23001
    67 sg:ontologies/product-market-codes/I24008
    68 sg:ontologies/product-market-codes/I25004
    69 sg:ontologies/product-market-codes/I26000
    70 sg:ontologies/product-market-codes/I27000
    71 sg:ontologies/product-market-codes/I28000
    72 sg:ontologies/product-market-codes/I29000
    73 skos:prefLabel Informatik, allgemein
    74 Computer Science, general
    75 sg:ontologies/product-market-codes/I16013 sgo:sdDataset onto_pmc
    76 rdf:type skos:Concept
    77 skos:broader sg:ontologies/product-market-codes/I16005
    78 skos:inScheme sg:ontologies/product-market-codes/
    79 skos:prefLabel Automatentheorie
    80 Computation by Abstract Devices
    81 sg:ontologies/product-market-codes/I16021 sgo:sdDataset onto_pmc
    82 rdf:type skos:Concept
    83 skos:broader sg:ontologies/product-market-codes/I16005
    84 skos:inScheme sg:ontologies/product-market-codes/
    85 skos:prefLabel Analyse von Algorithmen und Komplexität
    86 Algorithm Analysis and Problem Complexity
    87 sg:ontologies/product-market-codes/I1603X sgo:sdDataset onto_pmc
    88 rdf:type skos:Concept
    89 skos:broader sg:ontologies/product-market-codes/I16005
    90 skos:inScheme sg:ontologies/product-market-codes/
    91 skos:prefLabel Logik und Semantik von Programmen
    92 Logics and Meanings of Programs
    93 sg:ontologies/product-market-codes/I16048 sgo:sdDataset onto_pmc
    94 rdf:type skos:Concept
    95 skos:broader sg:ontologies/product-market-codes/I16005
    96 skos:inScheme sg:ontologies/product-market-codes/
    97 skos:prefLabel Mathematische Logik und Formale Sprachen
    98 Mathematical Logic and Formal Languages
    99 skos:Concept sgo:sdDataset for_codes
    100 rdf:type rdfs:Class
    101 rdfs:Resource
    102 rdfs:subClassOf rdfs:Resource
    103 skos:Concept
     




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


    ...