1
by Gurevich, Yuri
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

2
by Lengauer, Christian
Published 2004
Springer Berlin Heidelberg
Subjects: ...Programming Languages, Compilers, Interpreters...

3
by Odersky, Martin
Published 2004
Springer Berlin Heidelberg
Subjects: ...Programming Languages, Compilers, Interpreters...

4
Published 2000
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...