Dirk Siefkes
Software (Germany)(DE)Technische Universität Berlin(DE)
Publications by Year
Research Areas
Computability, Logic, AI Algorithms, semigroups and automata theory, Logic, programming, and type systems, Advanced Algebra and Logic, Logic, Reasoning, and Knowledge
Most-Cited Works
- → The monadic second order theory of all countable ordinals(1973)46 cited
- → Büchi’s Monadic Second Order Successor Arithmetic(1970)42 cited
- → Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions(1989)36 cited
- → Undecidable Extensions of Monadic Second Order Successor Arithmetic(1971)34 cited
- → Decidable Theories I(1970)27 cited
- → Association for Symbolic Logic(1990)26 cited
- → Axiomatization of the monadic second order theory of ω1(1973)25 cited