Dirk Siefkes
Author of Pioniere der Informatik
Works by Dirk Siefkes
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120) (1970) 2 copies
Formale Methoden und kleine Systeme : lernen, leben und arbeiten in formalen Umgebungen (1992) 2 copies
Büchis Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics) (German Edition) (1970) 1 copy
The Collected Works of J. Richard Büchi — Editor — 1 copy
Associated Works
Tagged
Common Knowledge
There is no Common Knowledge data for this author yet. You can help.
Members
Reviews
No reviews found.
You May Also Like
Associated Authors
Statistics
- Works
- 7
- Also by
- 1
- Members
- 18
- Popularity
- #630,788
- Rating
- 3.9
- ISBNs
- 9
- Languages
- 1