Author Search Results

1

Buchi's monadic second order successor arithmetic

Buchi's monadic second order successor arithmetic

by Siefkes, Dirk, Siefkes, Dirk
Published 1964

Book

2

Finite automata, their algebras and grammars : towards a theory of formal expressions /

Finite automata, their algebras and grammars : towards a theory of formal expressions /

by Buchi, Richard R. 1924-, Buchi, Richard R. 1924-, Siefkes, Dirk
Published 1989

Other Authors: “...Siefkes, Dirk...”

Book

3

The Monadic second order theory of all countable ordinals /

The Monadic second order theory of all countable ordinals /

by Buchi, Richard R. 1924-, Buchi, Richard R. 1924-, Siefkes, Dirk
Published 1964

Other Authors: “...Siefkes, Dirk...”

Book

Cannot write session to /tmp/vufind_sessions/sess_39q34s20ojoud1fepceklja37f