𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Finite Model Theory and Its Applications

✍ Scribed by Erich GrÀdel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Publisher
Springer
Year
2004
Tongue
English
Leaves
447
Series
Texts in Theoretical Computer Science. An EATCS Series
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Finite Model Theory and Its Applications
πŸ“ Finite Model Theory and Its Applications
✍ Erich GrΓ€del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Mo πŸ“‚ Library πŸ“… 2007 πŸ› Springer 🌐 English

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction p

Finite Model Theory and Its Applications
πŸ“ Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
✍ Erich GrΓ€del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Mo πŸ“‚ Library πŸ“… 2007 πŸ› Springer 🌐 English

<span>Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our unders

Macrosystems Theory and its Applications
πŸ“ Macrosystems Theory and its Applications: Equilibrium Models
✍ Yury S. Popkov πŸ“‚ Library πŸ“… 1995 πŸ› Springer 🌐 English

Macrosystems are systems in which the stochastic behaviour of the elements is transformed into deterministic behaviour of the system as a whole. This publication discusses equilibrium in these systems. Mathematical models of stationary states using the principle of maximum entropy are presented. Thi