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

Autor*innen

• Mike Nkongolo et al.

Parameter

• Informatik & Programmierung
• Technik & Maschinenbau

Mehr zum Buch

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.

• Sprache: Französisch
• Erscheinungsdatum: 2019
• Einband: Paperback