Showing 1 - 3 results of 3 for search 'Siefkes, Dirk', query time: 0.01s Refine Results
  1. 1

    Büchi's monadic second order successor arithmetic / by Siefkes, Dirk

    Published 1970
    Book
  2. 2

    Finite automata, their algebras and grammars : towards a theory of formal expressions / by Büchi, Julius Richard, 1924-1984

    Published 1989
    Other Authors: “…Siefkes, Dirk…”
    Book
  3. 3

    The monadic second order theory of all countable ordinals / by Büchi, Julius Richard, 1924-1984

    Published 1973
    Other Authors: “…Siefkes, Dirk…”
    Book