{"product_id":"une-expressivite-semantique-de-la-complexite-dalternance-logique-avec-des-variables-continues-von-mike-nkongolo-et-al","title":"Une expressivité sémantique de la complexité d'alternance logique avec des variables continues","description":"\u003cp\u003eTexte 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783668876750\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783668876750","offer_id":39523444555869,"sku":"9783668876750","price":17.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3cbfbf80-ee31-4941-8c2f-320b59aeece3.jpg?v=1778564612","url":"https:\/\/shop.autorenwelt.de\/en\/products\/une-expressivite-semantique-de-la-complexite-dalternance-logique-avec-des-variables-continues-von-mike-nkongolo-et-al","provider":"Autorenwelt Shop","version":"1.0","type":"link"}