The book is currently out of stock
More about the book
Texte Universitaire de l'année 2019 dans le domaine Informatique - Divers, note: Msc, University of the Witwatersrand (University), cours: Symbolic Logics, langue: Français, résumé 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.
Book purchase
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues, Mike Nkongolo et al.
- Language
- Released
- 2019
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.