"0"^^ . . . . "3"^^ . . . "La th\u00E9orie des mod\u00E8les finis est un sous-domaine de la th\u00E9orie des mod\u00E8les. Cette derni\u00E8re est une branche de la logique math\u00E9matique qui traite de la relation entre un langage formel (la syntaxe) et ses interpr\u00E9tations (ses s\u00E9mantiques). La th\u00E9orie des mod\u00E8les finis est la restriction de la th\u00E9orie des mod\u00E8les aux interpr\u00E9tations de structures finies, donc qui sont d\u00E9finies sur un ensemble (un univers) fini. Ses applications principales sont la th\u00E9orie des bases de donn\u00E9es, la complexit\u00E9 descriptive et la th\u00E9orie des langages formels."@fr . . . "New York"@fr . "Finite Model Theory"@fr . "Abiteboul"@fr . "268"^^ . "Heinz-Dieter Ebbinghaus"@fr . "Hull"@fr . . . "en"@fr . . "Reading, Mass"@fr . "Foundations of Databases"@fr . "Serge"@fr . "Immerman"@fr . . . "J\u00F6rg"@fr . . "8004064"^^ . "Descriptive Complexity"@fr . . "The finite model theory toolbox of a database theoretician"@fr . "10.1145"^^ . . . . . . . . "A Short Course on Finite Model Theory"@fr . . "Jouko V\u00E4\u00E4n\u00E4nen"@fr . . "logique du point fixe"@fr . . "Richard"@fr . "Vianu"@fr . . "Libkin"@fr . . "978"^^ . . "Victor"@fr . . . . . "65"^^ . . . . . . . . "Neil Immerman"@fr . "Th\u00E9orie des mod\u00E8les finis"@fr . "PODS 2009: Proceedings of the twenty-eighth ACM SIGACT\u2013SIGMOD symposium on Principles of database systems"@fr . . . . . "Fixpoint logic"@fr . "RWTH Aachen"@fr . . . . "Leonid"@fr . . . "685"^^ . . "Libkin"@fr . "La th\u00E9orie des mod\u00E8les finis est un sous-domaine de la th\u00E9orie des mod\u00E8les. Cette derni\u00E8re est une branche de la logique math\u00E9matique qui traite de la relation entre un langage formel (la syntaxe) et ses interpr\u00E9tations (ses s\u00E9mantiques). La th\u00E9orie des mod\u00E8les finis est la restriction de la th\u00E9orie des mod\u00E8les aux interpr\u00E9tations de structures finies, donc qui sont d\u00E9finies sur un ensemble (un univers) fini. Ses applications principales sont la th\u00E9orie des bases de donn\u00E9es, la complexit\u00E9 descriptive et la th\u00E9orie des langages formels."@fr . "Elements of Finite Model Theory"@fr . "Ebbinghaus"@fr . . "Algorithmic Model Theory"@fr . . "Th\u00E9orie des mod\u00E8les finis"@fr . "327"^^ . . . . . . . "185789992"^^ . . . "25260"^^ . "318"^^ . . "Flum"@fr . "Heinz-Dieter"@fr . "1995"^^ . . . "Neil"@fr . "1999"^^ . . . "Finite Model Theory"@fr . . . "2004"^^ . . "Serge Abiteboul"@fr . . . "\u6709\u9650\u30E2\u30C7\u30EB\u7406\u8AD6"@ja . . . "2009"^^ . "2013-11-07"^^ . . . . . .