Utilisation des destinées pour la décision et sa complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies
Nous étudions les structures logiques finies ou infinies à travers les énoncés de profondeur de quantification donnée qui sont vrais dans ces structures. <br /><br />Cette étude porte principalement sur un nouvel outil logique appelé $k$-destinées de Nézondet. Une $k$-destinée d'une...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université d'Auvergne - Clermont-Ferrand I
2003
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011983 http://tel.archives-ouvertes.fr/docs/00/06/30/99/PDF/THESE03.pdf |