D
Dirk Siefkes
9 works on record
Works

Formale Methoden und kleine Systeme

Pioniere der Informatik

Gi-4.Jahrestagung

BFuchi's monadic second order successor arithmetic

Formalisieren und Beweisen
Finite Automata, Their Algebras and Grammars
Finite Automata, Their Algebras and Grammars
Decidable Theories : Vol. 1
Decidable Theories : Vol. 1
Sozialgeschichte der Informatik
Sozialgeschichte der Informatik
Büchi's monadic second order successor arithmetic
Büchi's monadic second order successor arithmetic