 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00201395, version 1 |
| arXiv : 0712.4360 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| Factorization (Splitting) |
|
|
| Karl Schlechta 1 |
|
|
| (27/12/2007) |
|
|
|
| We show some elementary facts about the semantical analogue of Parikh's Splitting, which we call Factorization. |
|
|
|
|
|
|
|
|
|
|
|
| 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 | : | Mathématiques/Logique |
|
|
| Theory Revision – Relevance – Splitting |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00201395, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00201395 | |
| oai:hal.archives-ouvertes.fr:hal-00201395 | |
| Contributeur : Karl Schlechta | |
| Soumis le : Vendredi 28 Décembre 2007, 15:20:47 | |
| Dernière modification le : Vendredi 28 Décembre 2007, 15:25:01 | |
