- Notice
Logique spatiale
Vedette matière nom commun. S'emploie en tête de vedette.
Source(s) :
Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] : http://www.lsv.ens-cachan.fr (2008-03-12) . - Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / I. Boneva, 2006 [thèse] . - A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information and Computation, 2003, 186, 2
Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] : http://www.lsv.ens-cachan.fr (2008-03-12) . - Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / I. Boneva, 2006 [thèse] . - A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information and Computation, 2003, 186, 2
Domaine(s) : 510
Identifiant de la notice : ark:/12148/cb15596507t
Notice n° :
FRBNF15596507
Création :
08/01/17
Mise à jour :
08/03/12