Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Dirk Siefkes | lit.salon

Author

Dirk Siefkes

11 works

1970–2013 across 10 dated works

No biography is available yet.

Start with

BFuchi's monadic second order successor arithmetic1970
Büchi's monadic second order successor arithmetic.1970
Gi-4.Jahrestagung Berlin, 9.-12. Oktober 19741975
Formalisieren und Beweisen Logik für Informatiker1990

Books

10 works

Featured (10)Featured (10)All (11)All (11)

Search booksSort books

Formalisieren und Beweisen Logik für Informatiker1990
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Pioniere der Informatik: Ihre Lebensgeschichte im Interview1998
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen1992
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Gi-4.Jahrestagung Berlin, 9.-12. Oktober 19741975
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Büchi's monadic second order successor arithmetic.1970
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Formale Methoden und kleine Systeme Lernen, leben und arbeiten in formalen Umgebungen2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
BFuchi's monadic second order successor arithmetic1970
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Sozialgeschichte der Informatik: kulturelle Praktiken und Orientierungen1998
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic2006
With Gert H. Müller
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Finite Automata, Their Algebras and Grammars Towards a Theory of Formal Expressions2013
With J. Richard Büchi
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Dirk Siefkes.

The conversation is still open.

There is no public salon activity to show for Dirk Siefkes yet.