paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 148834396Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Mu-calcul

Variantes de point d'accès

Mu-calcul modal
[Nom commun]
Mu-calcul propositionnel
[Nom commun]

Notices d'autorité liées

Source

Handbook of modale logic, 2006 (art. : Modal mu-calculi)

Propriétés logiques du non déterminisme et mu-calcul modal / D. Janin, 1996 [thèse]

Results on the propositional μ-calculus / D. Kozen [in] Theoretical computer science, 1983, 27, 3

TermSciences - http://www.termsciences.fr (2011-09-02)

Autres identifiants

Identifiant BNF : FRBNF162550450

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...