by Heinz-DieterEbbinghaus (Author), JörgFlum (Author)
This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds.
Format: Hardcover
Pages: 371
Edition: 2nd ed. 1999. 2nd printing
Publisher: Springer
Published: 06 Oct 2005
ISBN 10: 3540287876
ISBN 13: 9783540287872