1
by Gabbay, Dov M., Schlechta, Karl
Published 2010
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

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