Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences d...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2011GRENM004/document |