TY - BOOK ID - 35659727 TI - Finite model theory and its applications AU - Grädel, Erich AU - Kolaitis, Phokion G. AU - Libkin, Leonid PY - 2007 SN - 9783540004288 PB - New York : Springer, DB - UniCat KW - Computational complexity. KW - Constraint databases. KW - Finite model theory. KW - Computer science KW - Computational complexity KW - Constraint databases KW - Finite model theory KW - 681.3*F13 KW - 681.3*F41 KW - 681.3*H23 KW - 681.3*I24 KW - 681.3*I28 KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*H23 Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) KW - Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) KW - Model theory KW - Databases KW - Complexity, Computational KW - Electronic data processing KW - Machine theory KW - 681.3*I28 Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} KW - Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} KW - 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} KW - Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Mathematics KW - Informatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:35659727 AB - ER -