Name: Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
Price: 17.95 EUR
Availability: InStock
Author: Mike Nkongolo et al.
ISBN: 978-3-668-87675-0

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.

Detalles

Título: Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
Universidad: University of the Witwatersrand (University)
Curso: Symbolic Logics
Calificación: Msc
Autor: Mike Nkongolo et al. (Autor)
Año de publicación: 2019
Páginas: 20
No. de catálogo: V458120
ISBN (Ebook): 9783668876743
ISBN (Libro): 9783668876750
Idioma: Francés
Etiqueta: Wits

Citar trabajo: Mike Nkongolo et al. (Autor), 2019, Une expressivité sémantique de la complexité d'alternance logique avec des variables continues, Múnich, GRIN Verlag, https://www.grin.com/document/458120