Home Advanced Search

Advanced Search - Page 1

Decidable Theories II
  • DJVU
  • English
  • Year: 1973
  • Author: J.R. Büchi, D. Siefkes, D. Siefkes, G.H. Müller
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
  • PDF
  • English
  • Year: 1989
  • Author: J. Richard Büchi (auth.), Dirk Siefkes (eds.)
Decidable Theories I
  • DJVU
  • English
  • Year: 1970
  • Author: Dirk Siefkes, Gert H. Müller
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
  • PDF
  • German-English
  • Year: 1975
  • Author: J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.)