Søkte etter:

4 treff

Finite automata, their algebras and grammars : towards a theory of formal expressions
J. Richard Büchi ; Dirk Siefkes, editor
Bok Engelsk 1989
GI : 4. Jahrestagung, Berlin, 9.-12. Oktober 1974
Gesellschaft für Informatik
Bok Engelsk 1975
The monadic second order theory of all countable ordinals
J. Richard Büchi, Dirk Siefkes
Bok Språk ikke angitt 1973
Büchi's monadic second order successor arithmetic
Siefkes, Dirk
Bok Språk ikke angitt 1970