Notice RAMEAU

  • Notice
000 cx j22 45
001 FRBNF162550450
003 http://catalogue.bnf.fr/ark:/12148/cb16255045j
005 20110902
035 .. $a (Sudoc)148834396
100 .. $a 20110107afrey50 ba0
106 .. $a 211
152 .. $b rameau $c 2
250 .. $7 ba0yba0y $8 fre $9 $a Mu-calcul
450 .. $7 ba0yba0y $8 fre $9 $a Mu-calcul modal
450 .. $7 ba0yba0y $8 fre $9 $a Mu-calcul propositionnel
550 .. $5 g $3 11957018 $7 ba0yba0y $8 fre $9 $a Calcul des propositions
686 .. $a 510 $c Mathématiques $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20110902
810 .. $a TermSciences - http://www.termsciences.fr (2011-09-02) $a Propriétés logiques du non déterminisme et mu-calcul modal / D. Janin, 1996 [thèse] $a Handbook of modale logic, 2006 (art. : Modal mu-calculi) $a Results on the propositional μ-calculus / D. Kozen [in] Theoretical computer science, 1983, 27, 3
822 11 $2 LCSH $d 2011-09-02
856 .. $u http://www.termsciences.fr $e 2011-09-02