J Richard Büchi


Ontology type: schema:Person     


Person Info

NAME

J Richard

SURNAME

Büchi

Publications in SciGraph latest 50 shown

  • 1990 Definibility in Normal Theories in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 State-Strategies for Games in Fσδ ∩ Gδσ in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Variations on a Theme of Cantor in the Theory of Relational Structures in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Coding in the Existential Theory of Concatenation in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Definability in the Monadic Second-Order Theory of Successor in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Relatively Categorical and Normal Theories in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Regular Canonical Systems in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Algorithmisches Konstruieren von Automaten und Die Herstellung von Gewinnstrategien Nach Cantor-Bendixson in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Canonical Systems which Produce Periodic Sets in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Model Theoretic Approaches to Definability in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Jordan Circuits of a Graph in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Using Determinancy of Games to Eliminate Quantifiers in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Recursive Definition and Complexity of Functions Over Arbitrary Data Structures in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 On the Presentation of Winning Strategies via the Cantor-Bendixson Method in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Transfinite Automata Recursions and Weak Second Order Theory of Ordinals in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Solving Sequential Conditions by Finite-State Strategies in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1990 Deterministic Automata and the Monadic Theory of Ordinals <ω2 in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1989 Concepts and Notations in Discrete Mathematics in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1989 The Structure and Behavior of Finite Automata in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1989 General Algebras: How They Function as Tree Acceptors and Push-down Automata in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1989 Transition Systems and Regular Events in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1989 Regular Canonical Systems in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1989 The Structure Theory of Transition Algebras in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1989 General Alphabets: The Theory of Push-down Automata and Context-free Languages in FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS
  • 1988 Large Convex Sets in Oriented Matroids in THE COLLECTED WORKS OF J. RICHARD BÜCHI
  • 1987-12 Coding in the existential theory of concatenation in ARCHIVE FOR MATHEMATICAL LOGIC
  • 1977 Using determinancy of games to eliminate quantifiers in FUNDAMENTALS OF COMPUTATION THEORY
  • 1973 The monadic second order theory of ω1 in DECIDABLE THEORIES II
  • 1973 Axiomatization of the monadic second order theory of ω1 in DECIDABLE THEORIES II
  • 1970-03 Canonical systems which produce periodic sets in THEORY OF COMPUTING SYSTEMS
  • 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", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.411031.6", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.411026.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.267461.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.169077.e", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.28803.31", 
            "type": "Organization"
          }
        ], 
        "familyName": "B\u00fcchi", 
        "givenName": "J Richard", 
        "id": "sg:person.011111505451.99", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011111505451.99"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2021-12-01T20:43", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/person/person_88.jsonl", 
        "type": "Person"
      }
    ]
     

    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/person.011111505451.99'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.011111505451.99'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.011111505451.99'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.011111505451.99'


     




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


    ...