Normal view
MARC view
- FINITE MODEL THEORY. COMPUTATIONAL COMPLEXITY. CONSTRAINT DATABASS
FINITE MODEL THEORY. COMPUTATIONAL COMPLEXITY. CONSTRAINT DATABASS (Topical Term)
Machine generated authority record.
Work cat.: (NUST): Kolaitis, P.G, Marx, M, Gradel, Erich 64984, Finite model theory and its application, 2007