E-LIB Suche - Ergebnisse für: Siefkes, Dirk

The Monadic Second Order Theory of All Countable Ordinals Lecture Notes in Mathematics ; 328;SpringerLink, Bücher;Springer eBook Collection, Mathematics and Statistics

Büchi, J. Richard ; Siefkes, Dirk ; Müller, G. H.. , 1973

Link: http://dx.doi.org/10.100..
Link: http://dx.doi.org/10.100..

7

Undecidable Extensions of Monadic Second Order Successor Ar..:

Siefkes, Dirk
Mathematical Logic Quarterly. 17 (1971) 1 - p. 385-394 , 1971

Link: https://doi.org/10.1002/..

8

Decidable Theories I

Lecture Notes in Mathematics ; 120;SpringerLink, Bücher;Springer eBook Collection, Mathematics and Statistics

Müller, Gert H. ; Siefkes, Dirk , 1970

Link: http://dx.doi.org/10.100..
Link: http://dx.doi.org/10.100..

9

Finite automata, their algebras, and grammars

towards a theory of formal expressions

Büchi, Julius Richard ; Siefkes, Dirk , c 1989

Exemplar: Zentrale:E02 a mat 750/286

10

The monadic second order theory of all countable ordinals

Decidable theories ; 2;Lecture notes in mathematics ; 328

Büchi, Julius Richard , 1973

Exemplar: Zentrale:Magazin 01.b.0400

11

Büchi's monadic second order successor arithmetic

Decidable theories ; 1;Lecture notes in mathematics ; 120

Siefkes, Dirk , 1970

Exemplar: Zentrale:Magazin 01.b.0399