Lade Inhalt...

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

Akademische Arbeit 2019 20 Seiten

Informatik - Sonstiges

Zusammenfassung

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.

Details

Seiten
20
Jahr
2019
ISBN (Buch)
9783668876750
Sprache
Französisch
Katalognummer
v458120
Institution / Hochschule
University of the Witwatersrand – University
Note
Msc
Schlagworte
Wits

Autor

Teilen

Zurück

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