- Notice
Mu-calcul
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Mu-calcul modal
Mu-calcul propositionnel
Mu-calcul modal
Mu-calcul propositionnel
Source(s) :
TermSciences : http://www.termsciences.fr (2011-09-02) . - Propriétés logiques du non déterminisme et mu-calcul modal / D. Janin, 1996 [thèse] . - Handbook of modale logic, 2006 (art. : Modal mu-calculi) . - Results on the propositional μ-calculus / D. Kozen [in] Theoretical computer science, 1983, 27, 3
TermSciences : http://www.termsciences.fr (2011-09-02) . - Propriétés logiques du non déterminisme et mu-calcul modal / D. Janin, 1996 [thèse] . - Handbook of modale logic, 2006 (art. : Modal mu-calculi) . - Results on the propositional μ-calculus / D. Kozen [in] Theoretical computer science, 1983, 27, 3
Domaine(s) : 510
Pas de correspondance :
- LCSH (Library of Congress Subject Headings)
- LCSH (Library of Congress Subject Headings)
Identifiant de la notice : ark:/12148/cb16255045j
Notice n° :
FRBNF16255045
Création :
11/01/07
Mise à jour :
11/09/02
