Showing 1 - 3 results of 3 for search 'Siefkes, Dirk', query time: 0.01s
Refine Results
-
1
Büchi's monadic second order successor arithmetic / by Siefkes, Dirk
Published 1970Call Number: Loading…
Located: Loading…Book Loading… -
2
Finite automata, their algebras and grammars : towards a theory of formal expressions / by Büchi, Julius Richard, 1924-1984
Published 1989Other Authors: “…Siefkes, Dirk…”
Call Number: Loading…
Located: Loading…Book Loading… -
3
The monadic second order theory of all countable ordinals / by Büchi, Julius Richard, 1924-1984
Published 1973Other Authors: “…Siefkes, Dirk…”
Call Number: Loading…
Located: Loading…Book Loading…