bn:03452855n
Noun Concept
Categories: Informatique théorique, Vérification de modèles
FR
mu-calcul  mu-calcolo
FR
En logique mathématique et en informatique théorique, le mu-calcul est l'extension de la logique modale classique avec des opérateurs de points fixes. Wikipedia
Definitions
Relations
Sources
FR
En logique mathématique et en informatique théorique, le mu-calcul est l'extension de la logique modale classique avec des opérateurs de points fixes. Wikipedia
Wikipedia
Wikidata
Wikidata Alias