Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Decidable Theories

by Dirk Siefkes | Gert H. Müller.

Series: Lecture Notes in Mathematics ; v.120Edition: 1970Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1970Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Finite Automata, Their Algebras and Grammars

by J. Richard Büchi; Dirk Siefkes.

Edition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer New York 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart