|
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Subjects:
“...Formal Languages and Automata Theory...”Published 2009
Springer Berlin Heidelberg