Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Elements of Finite Model Theory, Leonid Libkin
- Taal
- Jaar van publicatie
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.