Descriptive Complexity and Finite Models (Series in Discrete Mathematics and Theoretical Computer Science): Proceedings of a Dimacs Workshop January ... Mathematics and Theoretical Computer Science) - Hardcover
Synopsis
'We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connections and making discoveries that will help explain some of the many mysteries of computation' - from the Preface. Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and computer science. This area has been developing through continuous interaction with computational complexity, database theory, and combinatorics. The volume presents articles by leading researchers who delivered talks at the 'Workshop on Finite Models and Descriptive Complexity' at Princeton in January 1996 during a DIMACS-sponsored Special Year on Logic and Algorithms. Each article is self-contained and provides a valuable introduction to the featured research areas connected with finite model theory.
"synopsis" may belong to another edition of this title.
Product Description
No Descriptive Complexity and Finite Models Read a customer review or write one .
"About this title" may belong to another edition of this title.
Search results for Descriptive Complexity and Finite Models (Series in...
Stock Image
Descriptive Complexity and Finite Models: Proceedings of a Dimacs Workshop January 14-17, 1996 Princeton University (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Published by
Amer Mathematical Society, 1997
ISBN 10: 0821805177
ISBN 13: 9780821805176
Used
Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0821805177I4N00