Khoussainov, Bakhadyr

Automata theory and its applications Bakhadyr Khoussainov and Anil Nerode - , Boston Birkhauser 2001

120000386727


Symbolic logic

005.131 / KHO-A