Büchi, J. Richard
Büchi, Julius Richard, 1924-1984
Büchi, J. Richard (1924-1984).
Julius Richard Büchi Schweizer Logiker und Mathematiker
VIAF ID: 2536445 ( Personal )
Permalink: http://viaf.org/viaf/2536445
Preferred Forms
-
- 100 1 0 ‡a Büchi, J. Richard
-
-
-
- 100 1 _ ‡a Büchi, Julius Richard ‡d 1924-1984
- 100 1 _ ‡a Büchi, Julius Richard, ‡d 1924-1984
- 100 1 _ ‡a Büchi, J. Richard
-
-
- 100 1 _ ‡a Büchi, J. Richard
-
-
- 100 0 _ ‡a Julius Richard Büchi ‡c Schweizer Logiker und Mathematiker
4xx's: Alternate Name Forms (37)
Works
Title | Sources |
---|---|
Boole'sche Partialordnung und die Paarung von Gefügen | |
collected works of J. Richard Büchi | |
Finite automata, their algebras and grammars towards a theory of formal expressions | |
Manual on REC a language for use and cost analysis of recursion over arbitraty data structures | |
monadic second order theory of all countable ordinals | |
Sammlung | |
Works. 1990 |