Dirk Siefkes

Identifiers

Open LibraryOL782472A

Top Subjects

Logic, Symbolic and mathematical (1)
Machine theory (1)
Logic, symbolic and mathematical (1)

Books by Dirk Siefkes

Total count: 9

Büchi's Monadic Second Order Successor Arithmetic

Springer1970-01-01
BFuchi's monadic second order successor arithmetic

Springer-Verlag1970-01-01
Gi-4.JahrestagungBerlin, 9.-12. Oktober 1974

Springer1975-01-01
Formalisieren und BeweisenLogik für Informatiker

Vieweg1990-01-01
Pioniere der InformatikIhre Lebensgeschichte Im Interview

Springer1998-01-01
Decidable Theories : Vol. 1Büchi`s Monadic Second Order Successor Arithmetic

Springer London, Limited2006-01-01
Collected Works of J. Richard Büchi

Springer2011-01-01
Formale Methoden und kleine SystemeLernen, leben und arbeiten in formalen Umgebungen

Vieweg+Teubner Verlag2012-02-29
Finite Automata, Their Algebras and GrammarsTowards a Theory of Formal Expressions

Springer London, Limited2013-01-01