VIAF

Virtual International Authority File

Search

Büchi, J. Richard 1924-1984 NUKAT Center of Warsaw University Library ISNI National Library of France National Library of the Netherlands Sudoc [ABES], France

Büchi, J. Richard German National Library Swiss National Library Library of Congress/NACO

Büchi, Julius Richard 1924-1984 German National Library

Julius Richard Büchi Wikidata

Büchi, J. R. German National Library

VIAF ID: 2536445 (Personal)

Permalink: http://viaf.org/viaf/2536445

ISNI: 0000  0001  0862  8773 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (14)

Open Section Close SectionWorks

Title Sources
Boole'sche Partialordnung und die Paarung von Gefügen Swiss National Library German National Library Sudoc [ABES], France
collected works of J. Richard Büchi NUKAT Center of Warsaw University Library Sudoc [ABES], France Swiss National Library Library of Congress/NACO National Library of the Netherlands National Library of France German National Library
Finite automata, their algebras and grammars towards a theory of formal expressions NUKAT Center of Warsaw University Library Sudoc [ABES], France Swiss National Library Library of Congress/NACO National Library of the Netherlands National Library of France German National Library
Manual on REC a language for use and cost analysis of recursion over arbitraty data structures German National Library
monadic second order theory of all countable ordinals Swiss National Library Library of Congress/NACO National Library of the Netherlands NUKAT Center of Warsaw University Library German National Library Sudoc [ABES], France
Sammlung German National Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (4)

Open Section Close Section History of VIAF ID:2536445 (27)