Dirk Siefkes
· 11 obras en el catálogo
Obras

Formale Methoden und kleine Systeme

Pioniere der Informatik

Gi-4.Jahrestagung

Formale Methoden und kleine Systeme

Pioniere der Informatik
Finite Automata, Their Algebras and Grammars
Decidable Theories : Vol. 1
Sozialgeschichte der Informatik

BFuchi's monadic second order successor arithmetic
Büchi's monadic second order successor arithmetic
