|
by Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten
Published 2007
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2007
Springer Berlin Heidelberg