Logique spatiale

Identifiant IdRef : 122706234

Notice de type Rameau

Point d'accès autorisé

Logique spatiale

Notices d'autorité liées

Source

A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information and Computation, 2003, 186, 2

Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / I. Boneva, 2006 [thèse]

Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] - http://www.lsv.ens-cachan.fr (2008-03-12)

Autres identifiants

Identifiant BNF : FRBNF155965072

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

Informations sur la notice

Identifiant de la notice : 122706234

Créateur de la notice : 4994

Création : 31-03-2008

Dernier modificateur de la notice : 1999

Dernière modification : 22-02-2019 à 19 h 03

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