skip to content
The collected works of J. Richard Büchi Preview this item
ClosePreview this item
Checking...

The collected works of J. Richard Büchi

Author: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Publisher: New York : Springer-Verlag, ©1990.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Büchi, J. Richard.
Collected works of J. Richard Büchi.
New York : Springer-Verlag, ©1990
(OCoLC)625763450
Named Person: J Richard Büchi; J Richard Büchi
Document Type: Book
All Authors / Contributors: J Richard Büchi; Saunders Mac Lane; Dirk Siefkes
ISBN: 0387970649 9780387970646 3540970649 9783540970644
OCLC Number: 20296792
Description: xvi, 304 pages : illustrations ; 25 cm
Contents: J. Richard Büchi (1924-1984) / Dirk Siefkes, Paul Young, and Leonard Lipshitz --
The life of J. Richard Büchi / Sylvia Büchi --
The work of J. Richard Büchi / Dirk Siefkes --
The role of Büchi's automata in computer science / E. Allen Emerson --
Boolean algebras --
Discrete spaces --
Towards a theory of definability --
Automata and grammars --
Automata and monadic theories --
Games and determinacy --
Computability --
Quadratic forms, the five squares problem, and diophantine equations --
Graphs and matroids.
Other Titles: Works.
Responsibility: Saunders Mac Lane, Dirk Siefkes, editors.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/20296792> # The collected works of J. Richard Büchi
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "20296792" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://viaf.org/viaf/2536445> ; # J Richard Büchi
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/theorie_automate> ; # Théorie automate
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_mathematique> ; # Logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/informatique_theorique> ; # Informatique théorique
    schema:about <http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/101828380> ; # Saunders Mac Lane
    schema:contributor <http://viaf.org/viaf/66531157> ; # Dirk Siefkes
    schema:copyrightYear "1990" ;
    schema:creator <http://viaf.org/viaf/2536445> ; # J Richard Büchi
    schema:datePublished "1990" ;
    schema:description "J. Richard Büchi (1924-1984) / Dirk Siefkes, Paul Young, and Leonard Lipshitz -- The life of J. Richard Büchi / Sylvia Büchi -- The work of J. Richard Büchi / Dirk Siefkes -- The role of Büchi's automata in computer science / E. Allen Emerson -- Boolean algebras -- Discrete spaces -- Towards a theory of definability -- Automata and grammars -- Automata and monadic theories -- Games and determinacy -- Computability -- Quadratic forms, the five squares problem, and diophantine equations -- Graphs and matroids."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/252492106> ; # Works. 1990
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/625763450> ;
    schema:name "The collected works of J. Richard Büchi"@en ;
    schema:productID "20296792" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20296792#PublicationEvent/new_york_springer_verlag_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/252492106#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387970646> ;
    schema:workExample <http://worldcat.org/isbn/9783540970644> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/20296792> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, théorie des
    a schema:Intangible ;
    schema:name "Automates mathématiques, théorie des"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
    schema:name "Informatique théorique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
    schema:name "Logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/252492106#Topic/theorie_automate> # Théorie automate
    a schema:Intangible ;
    schema:name "Théorie automate"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://viaf.org/viaf/101828380> # Saunders Mac Lane
    a schema:Person ;
    schema:birthDate "1909" ;
    schema:deathDate "2005" ;
    schema:familyName "Mac Lane" ;
    schema:givenName "Saunders" ;
    schema:name "Saunders Mac Lane" ;
    .

<http://viaf.org/viaf/2536445> # J Richard Büchi
    a schema:Person ;
    schema:familyName "Büchi" ;
    schema:givenName "J. Richard" ;
    schema:name "J Richard Büchi" ;
    .

<http://viaf.org/viaf/66531157> # Dirk Siefkes
    a schema:Person ;
    schema:familyName "Siefkes" ;
    schema:givenName "Dirk" ;
    schema:name "Dirk Siefkes" ;
    .

<http://worldcat.org/entity/work/id/252492106> # Works. 1990
    schema:name "Works. 1990" ;
    .

<http://worldcat.org/isbn/9780387970646>
    a schema:ProductModel ;
    schema:isbn "0387970649" ;
    schema:isbn "9780387970646" ;
    .

<http://worldcat.org/isbn/9783540970644>
    a schema:ProductModel ;
    schema:isbn "3540970649" ;
    schema:isbn "9783540970644" ;
    .

<http://www.worldcat.org/oclc/625763450>
    a schema:CreativeWork ;
    rdfs:label "Collected works of J. Richard Büchi." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/20296792> ; # The collected works of J. Richard Büchi
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.