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

Texte Universitaire , 2019 , 20 Pages , Note: Msc

Informatique - Divers

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.

• Université: University of the Witwatersrand (University)
• Cours: Symbolic Logics
• Note: Msc
• Auteur: Mike Nkongolo et al. (Auteur)
• Année de publication: 2019
• Pages: 20
• N° de catalogue: V458120
• ISBN (ebook): 9783668876743
• ISBN (Livre): 9783668876750
• Langue: français
• mots-clé: Wits