Elements of Finite Model Theory

Autori

• Leonid Libkin

Parametri

• Computer, IT, programmazione
• Logica
• Matematica

Maggiori informazioni sul libro

Finite model theory merges mathematical logic and computer science, focusing on applications in database theory, computational complexity, and formal languages. It began with Trakhtenbrot's 1950 result on finite models' validity and evolved through key contributions from Fagin, Immerman, and Vardi, leading to significant insights in descriptive complexity and relational databases.

Per saperne di più

Lingua: Inglese

Pubblicato: 2010

(In brossura)