Liknande böcker

Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Implementation and Application of Automata: 8Th International Conference...
Bok av Oscar H. Ibarra
Computability and Randomness
Bok av André. Nies
Computer science logic
Bok av Egon Borger
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Ann...
Bok av David. Hutchison
Logic for applications
Bok av Anil Nerode
Logical Foundations of Computer Science : International Symposium, LFCS...
Bok av Sergei Artemov
Elements of the theory of computation
Bok av Harry R. Lewis

Finite Automata, Formal Logic, and Circuit Complexity by Howard Straubing

Bok av Howard. author. Straubing