Une expressivité sémantique de la complexité d'alternance logique avec des varia
Bod
ISBN 9783668876750 28 Seiten, Taschenbuch/Paperback
CHF 22.05
BOD folgt in ca. einer Woche
Texte Universitaire de lanné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.