1
by Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten
Published 2007
Springer Berlin Heidelberg
Subjects: '; ...Computation by Abstract Devices...