Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Edition: 1 edition
Publisher: Springer
Published: June 11, 2007
Language: eng
Format: Hardcover
Number of pages: 437
ISBN-13: 9783540004288
Subjects: General Theory of Computing; Mathematics; Science/Mathematics; Computers - General Information; Logic; Database Management - General; Computer Bks - General Information; Artificial Intelligence - General; Computer Science; Logic Design; Constraint Satisfaction Problems; Descriptive-complexity Theory; Finite-model Theory; Mathematics / Logic; Modal Logic; Random Graphs and 0-1 laws; Reference