 |
|
|
|
| HAL: hal-00273698, version 1 |
| Detailed view |  Export this paper |
|
|
| JAC 2008, Uzès : France (2008) |
|
|
|
|
| Tilings and model theory |
|
|
Alexis Ballier 1Emmanuel Jeandel 1 |
|
|
| (2008-04-10) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Other |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00273698, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00273698 | |
| oai:hal.archives-ouvertes.fr:hal-00273698 | |
| From: Bruno Durand | |
| Submitted on: Wednesday, 16 April 2008 14:58:37 | |
| Updated on: Wednesday, 16 April 2008 16:12:17 | |
