Une expressivité sémantique de la complexité d'alternance logique avec des variables continues


Texte Universitaire, 2019
20 Pages, Note: Msc

Résumé ou Introduction

Nous montrons que les logiques temporelles de temps de branchement, ainsi que les logiques temporelles a temps alternatif, sont expressif dans la langue avec une seule variable propositionnelle ou avec une offre limite de variables.

Résumé des informations

Titre
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
Université
University of the Witwatersrand  (University)
Cours
Symbolic Logics
Note
Msc
Auteur
Année
2019
Pages
20
N° de catalogue
V458120
ISBN (Livre)
9783668876750
Langue
Français
Annotations
Co-authors: Roland Kalonji, Laby Ilumbe, Patrick Twuite Ilunga
mots-clé
Wits
Citation du texte
Mike Nkongolo et al. (Auteur), 2019, Une expressivité sémantique de la complexité d'alternance logique avec des variables continues, Munich, GRIN Verlag, https://www.grin.com/document/458120

Commentaires

  • Pas encore de commentaires.
Lire l'ebook
Titre: Une expressivité sémantique de la complexité d'alternance logique avec des variables continues


Télécharger textes

Votre devoir / mémoire:

- Publication en tant qu'eBook et livre
- Honoraires élevés sur les ventes
- Pour vous complètement gratuit - avec ISBN
- Cela dure que 5 minutes
- Chaque œuvre trouve des lecteurs

Devenir un auteur