 |
|
|
|
| HAL : hal-00273698, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| JAC 2008, Uzès : France (2008) |
|
|
|
|
| Tilings and model theory |
|
|
Alexis Ballier 1Emmanuel Jeandel 1 |
|
|
| (10/04/2008) |
|
|
|
| In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpretation of the tiling rules in first order logics. This opens the way to map some model theoretical properties onto some properties of sets of tilings, or tilings themselves. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00273698, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00273698 | |
| oai:hal.archives-ouvertes.fr:hal-00273698 | |
| Contributeur : Bruno Durand | |
| Soumis le : Mercredi 16 Avril 2008, 14:58:37 | |
| Dernière modification le : Mercredi 16 Avril 2008, 16:12:17 | |
